A pit or excavation in the earth, from which metallic ores, precious stones, coal, or other mineral substances are taken by digging; -- distinguished from the pits from which stones for architectural purposes are taken, and which are called quarries.