豪斯多夫空间
Any continuous function into a Hausdorff space has a closed graph.