Большой энциклопедический словарь
РУДНИК — предприятие по добыче полезного ископаемого (преимущественно руды) открытым или подземным способом.
рудник
Рудник