命題
G を位相群とする。
Ψ を G の単位元 e の基本近傍系とする。
G がHausdorffであるためには ∩{U；U ∈ Ψ} = {e} となることが必要十分である。

証明
>>58より G がHausdorffであるためには {e} が閉集合であることが必要十分である。
>>235より {e} が閉集合であるためには ∩{U；U ∈ Ψ} = {e} となることが必要十分である。
証明終