водовідлив допоміжний

Водовідлив, призначений для перекачування води з окремих дільниць шахти до водозбірника головного водовідливу.

Джерело: Гірничий енциклопедичний словник на Slovnyk.me