Noun
lava tube (plural lava tubes) A natural conduit formed by flowing lava that moves beneath the hardened surface of a lava flow.