有限乘積拓撲有限多個拓撲空間的Cartesian product由open rectangles生成乘積拓撲。atlas-finite-product-topology · canonical_mko有限乘積拓撲前置節點拓撲基底拓撲空間集合運算二元關係與集合投影拓撲連續映射函數合成