设 和 为拓扑空间。则它们的并集是商空间
其中 是等价关系
更多尝试
Weisstein, Eric W. “空间并集。” 来自 —— 资源。 https://mathworld.net.cn/SpaceJoin.html