What is the definition of a cast mineral?

Cast minerals are minerals formed when molten magma cools down and solidifies. When magma rises to the Earth's surface and emerges as lava or volcanic ash, it carries with it dissolved metals, minerals, and gases. These dissolved components, as the magma cools, crystallize to form individual mineral grains, which are then transported within the magma flow to create cast minerals.