Una mina es el conjunto de labores o huecos necesarios para explotar un yacimiento y, en algunos casos, las plantas anexas para el tratamiento del mineral extraído.