命題
G を位相群とする。
G は位相空間 X に連続に作用するとする（>>134）。
このとき標準写像 π：X → X/G（>>92）は開写像である。

証明
U を X の開集合とする。
π^(-1)(π(U)) = ∪{σU；σ ∈ U} である。
>>135より、各 σU は開集合だから π^(-1)(π(U)) は開集合である。
よって、π(U) は開集合である。
証明終