The place where coal is dug; a coal mine, and the buildings, etc., belonging to it.
The coal trade.
A coal mine and its surrounding buildings.
A coal-mine.
n. Place where coal is dug; —the coal trade.
The place where coals are dug ; the coal trade.