Miner. - Insieme di operazioni ed impianti, relativi all'estrazione dell'acqua dai pozzi e nelle gallerie. In genere, viene effettuata meccanicamente con pompe, oppure si crea un pozzo di raccolta, che viene svuotato periodicamente.