矿坑排水是指将疏于工程疏放出来（或其他来源)的水，经汇集输送至地表的过程。