dział geologii zajmujący się budową i pochodzeniem jaskiń; speleologia