ハウスドルフ空間
Any continuous function into a Hausdorff space has a closed graph.