This document defines and describes the three main types of rocks: igneous, sedimentary, and metamorphic. Igneous rocks form from the cooling of magma or lava. Sedimentary rocks form through the compaction or cementation of sediments. Metamorphic rocks form from existing rocks undergoing changes due to heat and pressure in the Earth. Rocks can change between these types through geological processes in the rock cycle.