Arte de beneficiar los minerales y de extraer los metales que contienen, para ponerlos en disposición de ser elaborado. En desuso. Equivale actualmente a la metalurgia.