A workplace consisting of a coal mine plus all the buildings and equipment connected with it.

synoniem: pit.

Nederlands: kolenmijn, koolmijn, steenkolenmijn