定義
G を位相群(>>72)とする。

G の単位元を e とする。
{e} が閉集合のとき G を分離的な位相群という。