El arte de explotar o laborear la mina, especialmente, la que contiene un metal o metaloide combinado que se tenga que aislar o beneficiar. Se aplica a la actividad de extracción de mineral de la mina; el conjunto o del individuo que se dedica a este trabajo; el conjunto o del facultativo que entiende en cuanto concierne a ese trabajo; el conjunto o de la mina y explotación minera de un país, región, nación o comarca.
De mina, f. Tecnol.