命題
G を位相群とする。
H を G の部分群とする。
G の H による左剰余類全体の集合 G/H とする。
このとき標準写像 π：G → G/Hは開写像である。

証明
H は位相群として G に右から連続に作用する。
このとき G/H は H-集合 G の軌道空間（>>92）である。
よって、>>150より π：G → G/Hは開写像である。
証明終