G を群、 を有向集合、 は G の正規部分群の族で を満たしているものとする。このとき任意の に対して だから、単位元 の基本近傍形を と定めれば、G は位相群になる。このとき、各 は開集合になる。なぜならば、 ならば だから *1 となるから。一方で、各 …