Gru|ben|bau 〈m. 1〉
1. Grube, Grubenanlage
2. Bau von Gruben
3. Hohlraum in einem Bergwerk, z. B. Schacht, Sohle, Strecke
* * *
Gru|ben|bau, der <Pl. -e> (Bergbau):
planmäßig hergestellter, je nach Zweck verschieden gestalteter Hohlraum (wie Schacht, Stollen, Strecke u. a.) in einem Bergwerk.
* * *
Grubenbau,
planmäßig hergestellter bergmännischer Hohlraum wie Schacht, Strecke, Querschlag und Abbauraum. Die Gesamtheit aller Grubenbaue eines Bergwerks ist das Grubengebäude.
* * *
Universal-Lexikon. 2012.