Waagrechter Grubenbau, der von anderen Grubenbauen (Schächten, Stollen etc.) aus in das Gebirge vorstößt; dient zur Förderung, Bewetterung.
