Grubenbau ist ein Oberbegriff für alle durch
bergmännische Arbeiten geschaffenen
Hohlräume. Grubenbaue, die annähernd in einer horizontalen Ebene liegen, werden unter dem Begriff
Sohle zusammengefasst. Grubenbaue bezeichnet man auch als bergmännische Baue.