Gua lava

Gua lava adalah setiap gua yang terbentuk di dalam batuan vulkanik, meskipun istilah ini biasanya merujuk pada gua yang terbentuk oleh proses vulkanik, yang secara lebih tepat disebut sebagai gua vulkanik. Gua laut dan jenis gua erosi serta gua rekahan lainnya juga dapat terbentuk di batuan vulkanik, tetapi melalui proses non-vulkanik dan biasanya lama setelah batuan vulkanik tersebut terbentuk.