Grubenluft

in der Grube bestehende Luft, die aufgrund ihres reduzierten Sauerstoffgehalts bzw. ihres Gehalts an giftigen Gasen abgesaugt wird.