1. Noun. A place where coal is dug, including the machinery for raising the coal. ¹
¹ Source: wiktionary.com