Hülfsbau, beim Bergbau derjenige Grubenbau, durch welchen physische Schwierigkeiten beseitigt werden.
Pierer's Lexicon. 1857–1865.
