Voids

This article describes underground open spaces or cavities that may be of natural or man-made origin. Natural structures include caves, dissolution and collapse cavities in soluble rocks, cambering fissures (or gulls), open fault cavities, and lava tubes. Man-made voids include all the different types of mines, habitation, religious and storage spaces, military excavations, tunnels, and shafts