Gua terbentuk secara alami oleh pelapukan batuan dan sering meluas jauh di bawah tanah. Kata gua juga bisa merujuk pada bukaan yang jauh lebih kecil seperti gua laut, tempat perlindungan batu, dan gua. Speleologi adalah ilmu eksplorasi dan studi tentang semua aspek gua dan lingkungan gua.