·noun The coal trade.
II. Colliery ·noun The place where coal is dug; a coal mine, and the buildings, ·etc., belonging to it.