noun
(geology) The process in which a solution of molten rocks separates into its constituents upon cooling