When the lava drains out, the outer shell remains, forming a lava cave.
当岩浆外泄时,外层硬壳仍然保存着,由此形成一个岩浆洞穴。
经济学人 Science and technology
Space scientists have long identified these lava caves as a likely site for human habitation on the Moon, because the thick walls and ceiling offer protection from the harsh radiation striking the Moon's surface.
A lava cave is any cave formed in volcanic rock, though in typical use it usually means caves formed by volcanic processes, which are more properly termed volcanic caves. Sea caves, and other sorts of erosional and crevice caves, may be formed in volcanic rocks, but are unrelated to volcanic processes and typically form long after the volcanic rock was emplaced.