Definition

Historically, people whose occupation was to mine and prepare coal. More commonly used in the context of describing coal mines or coal mining towns.