被遗弃的老矿洞

废弃矿井的老煤开发采矿是自地壳内和地表开采矿产资源的技术和科学。广义的采矿还包括煤和石油的开采。采矿工业是一种重要的原料工业，金属矿石是冶炼工业的主要原料，非金属矿石是重要的化工原料和建筑材料。