Igneous rock Igneous rock Igneous rock (derived from the Latin word "ignis" meaning fire), or magmatic rock, is one of the three main rock types, the others being sedimentary and metamorphic. Igneous rock is formed through the cooling and solidification of magma or lava. The magma can be derived from partial melts of existing rocks in either a planet's mantle or crust. Typically, the melting is caused by one or more of three processes: an increase in temperature, a decrease in pressure, or a change in composition. Solidification into rock occurs either below the surface as intrusive rocks or on the surface
Martian lava tube Martian lava tube Martian lava tubes are natural sub-surface lava tube caverns on Mars that are believed to form as a result of fast-moving, basaltic lava flows associated with shield volcanism. Lava tubes usually form when the external surface of the lava channels cools more quickly and forms a hardened crust over subsurface lava flows. The flow eventually ceases and drains out of the tube, leaving a conduit-shaped void space which is usually several meters below the surface. Lava tubes are typically associated with extremely fluid pahoehoe lava. Gravity on mars is about 38% that of Earth's, allowing Martian lava