1の基本近傍系とする位相

命題

$G$: 群,$\mathcal{N}⊴G$

$$H_1,H_2\in \mathcal{N}\Rightarrow H_1\cap H_2\in \mathcal{N}$$

みたせば,

$$B:=\{gH(g\in G,H\in \mathcal{N})\}$$

は 開基 $\mathcal{N}$を1の基本近傍系とする位相 という.