Diccionario

1. Arte de laborear las minas.
2. Conjunto de los trabajadores que se dedican a la minería.
3. Conjunto de los facultativos o expertos en minería.
4. Conjunto de las minas y explotaciones mineras de una nación o comarca.

Fuente: Diccionario de la RAE (23.ª ed.)