Рудник
Рудник — горная выработка, объём горной породы которой не претерпел уплотнения в результате стресса и процессов метасоматической контракции (определение 1966 года).
- Объём горной породы — пространство, занятое горными породами, не изменившееся под воздействием тектонических напряжений и метасоматических процессов (метасоматическая контракция, то есть уменьшение объёма при замещении пород).
