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