Buildings associated with a mine, which is series of pits or tunnels made underground for the extraction of metals or other materials.