矿井

在地底下开采的矿山。有时把矿山地下开拓中的斜井、竖井、平硐等也称为矿井。