定義
G を群であり同時に位相空間とする。

μ : G×G → G を μ(x, y) = xy により定義される写像とする。
ν : G → G を ν(x) = x^(-1) により定義される写像とする。

μ と ν が連続なとき G を位相群と言う。