РУДНИК

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