Gua adalah bentuk alam yang tidak berdiri sendiri, tetapi
terdapat struktur alam yang melingkupinya, ilmu yang mempelajari hal tersebut
adalah Speleologi. Speleologi diambil dari kata yunani ; yakni, SPELION yang
berarti gua, dan LOGOS yang berarti ilmu. Jadi Speleologi adalah ilmu yang
mempelajari gua dan lingkungan. Lingkungan tersebut dapat berupa batu gamping,
batu pasir, aliran lava yang membeku, batu garam, batu gips, gletser,es, dsb.
