A lava tube, or pyroduct, is a natural conduit formed by flowing lava from a volcanic vent that moves beneath the hardened surface of a lava flow. If lava in the tube empties, it will leave a cave. Wikipedia