ハウスドルフ空間
Conversely, if "X" is a Hausdorff space and ker "f" is a closed set, then the coimage of "f", if given the quotient space topology, must also be a Hausdorff space.