A
miner is a person who extracts
ore,
coal, or other
minerals from the earth through
mining. There are two senses in which the term is used. In its narrowest sense, a miner is someone who works at the rock
face; cutting, blasting, or otherwise working and removing the rock. In a broader sense, a "miner" is anyone working within a mine, not just a worker at the rock face. This article will consider this broader concept.