What is the definition of planetary differentiation? mixing of materials to produce a new compound divisions of planets based on constituent materials separation of materials based on density categorization based on chemical formula?

I think the definition of planetary differentiation is the separation of materials based on density. It involves separating out different constituents of a planetary body as a result of their physical or chemical characteristics, such that each body develops into compositionary distinct layers; such that the denser materials of a planet sink at the center while less dense materials rise to the surface.