命題
>>54において、G の位相がHausdorffであるためには、
∩{N; N ∈ Σ} = {e} となることが必要十分である。
ここで e は G の単位元である。

証明
>>55と>>58より明らかである。