凡是在矿井开拓、采掘过程中,渗入、滴入、淋入、流入、涌入和溃入井巷或采煤工作面的任何水源水,统称()。