Что такое РУДНИК, Определение слова РУДНИК

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