Allg. Abtrennung von Bestandteilen eines Gemischs, bei Magma die Anreicherung oder Abreicherung von bestimmten Elementen, etwa durch Kristallisation.