Una mina es el conjunto de todas esas labores, especialmente cuando es subterránea.