商拓撲滿射q:X→Y使U⊆Y恰在q逆像開時為開，從而賦予Y商拓撲。atlas-quotient-topology · canonical_mko商拓撲前置節點拓撲空間商集滿射與陪域覆蓋拓撲連續映射函數合成