lava tube

Short definition from Wiktionary

Noun

A natural conduit formed by flowing lava that moves beneath the hardened surface of a lava flow.

We haven’t written up lava tube yet: Simple and Standard meanings, examples and a quiz.