Hülfsstollen, der

Der Hülfsstollen, des -s, plur. ut nom. sing. im Bergbaue, ein Stollen, welcher einem andern Stollen das Wasser zuführet, und demselben gleichsam zu Hülfe kommt; im Gegensatze des Hauptstollens.