s.f. in ingegneria mineraria, l'operazione e il materiale con cui si riempiono i vuoti prodotti in miniera con l'estrazione del minerale utile.