Синонимы к слову «Рудник»

Наиболее часто употребимыми синонимами слова рудник являются слова:

• прииск