Vajum on varingu mõju maa peal. Vajumi ulatus sõltub varingu ulatusest, olles sellest üldjuhul suurem.
Kolu
-
Kolu on lehtrikujuline mahuti. Seda kasutatakse kaevise suunamiseks näiteks
sõelurist konveierile. Sisuliselt on punkri alumine osa kolu.
Kaevandamise keele...