Lava tubes adalah saluran alami lava yang terbentuk saat lava bergerak dibawah permukaan. Biasanya lava dilepaskan oleh gunung berapi selama letusan dan dapat aktif menguras lava dari sumbernya, atau mereka dapat punah, yang berarti aliran lava telah berhenti dan batu-batu sudah dingin dan meninggalkan, gua yang panjang.