出典:デジタル大辞泉(小学館)

坑内の湧水や出水、地表から流入する雨水などを排除する目的で、坑道内に設けるダム。