Значение слова РУДНИК в Энциклопедическом словаре

Что такое РУДНИК

, -а (у горняков: рудник, -а), м. Горнопромышленное предприятие для добычи руды, полезных ископаемых. Медные рудники. II прил. рудниковый, -ая, -ое и\ рудничный, -ая, -ое. Рудничная крепь. Р. газ (метан).

Энциклопедический словарь.