X, Yは位相空間、Yはハウスドルフ、f: X→Yは連続写像なら、Γ: X→X×Y (Γ(x)=(x, f(x)))によるΓ(X)はX×Yの閉集合。
これを「Yがハウスドルフ⇔Δ: Y→Y×Y (Δ(y)=(y, y))によるΔ(Y)はY×Yの閉集合」を使って示せますか？