Batuan beku terbentuk melalui pendinginan dan pemadatan magma atau lava. Batuan beku dapat terbentuk dengan atau tanpa kristalisasi, baik di bawah permukaan sebagai batuan intrusi (plutonik) atau di permukaan sebagai batuan ekstrusif (vulkanik). Magma ini dapat berasal dari pencairan sebagian batuan yang sudah ada sebelumnya baik di mantel atau kerak planet. Batuan beku dapat terbentuk dengan atau tanpa kristalisasi, baik di bawah permukaan sebagai batuan intrusi (plutonik) atau di permukaan sebagai batuan ekstrusif (vulkanik).