A worker employed inside a pit in various industrial operations, as in a coal mine.

• 矿工被雇在不同工业作业区的矿井内工作的人，如煤矿工人