命題
f を位相空間 X から Hausdorff 位相空間 Y への連続写像とする。
f のグラフ G = { (x, f(x)) ∈ X × Y | x ∈ X } は
X × Y の閉集合である。

証明
X × Y から Y への写像 (x, y) → x と (x, y) → f(x) は
どちらも連続である。
>>204 より G は X × Y の閉集合である。
証明終