Other terms you might encounter include:
* Cave lake (for larger bodies of water)
* Sinkhole (if the depression is formed by the collapse of the cave ceiling)
* Sumps (if the depression is a passage that completely fills with water, requiring scuba diving to navigate)
The specific term used will depend on the size, shape, and formation of the water feature.