Что такое рудник?

Рудник — это горное предприятие, где добывают полезные ископаемые, такие как руда.