planetary differentiation

formation of distinct layers in a planet