Определение слова «рудники»

Толковый словарь Ефремовой:

рудники мн. устар.
Система подземных сооружений, где добываются полезные ископаемые, как место каторжных работ.