are formed when magma cools in the Earth’s crust, or lava cools on the ground surface or the seabed.