Arte de laborear las minas.
Conjunto de los trabajadores que se dedican a la minería.
Conjunto de los facultativos o expertos en minería.
Conjunto de las minas y explotaciones mineras de una nación o comarca.
Fuente:
Diccionario de la lengua española, 23.ª ed., [versión 23.8 en línea]. https://dle.rae.es/minería