Igneous rocks are formed through the cooling and hardening of magma or lava. Magma cools and hardens below the earth's surface to form intrusive igneous rocks like granite and diorite, which have large mineral crystals. Lava cools and hardens at the earth's surface or in water to form extrusive igneous rocks like basalt and obsidian, which have tiny mineral crystals or are volcanic glass with no crystals. Igneous rocks have various uses like in construction materials, tools, and abrasives.