Labor (minería)

Una labor minera es cualquier hueco excavado para explotar un yacimiento. Una mina es el conjunto de todas esas labores, especialmente cuando es subterránea. La técnica de aprovechar un yacimiento mediante minería se conoce como Laboreo de Minas.