A hole or excavation in the earth, in mining, from which run branches or galleries.