рудник

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