Полость в земной коре, образуемая в результате осуществления горных работ с целью разведки и добычи полезных ископаемых, проведения инженерно-геологических изысканий и строительства подземных сооружений.