不相交並

不相交並是集合論的一個概念。

基本介紹

• 中文名：不相交並
• 外文名：disjoint union
• 所屬學科：集合論

定義

不相交集類E的元的並為不相交並。

設X與Y為集，則其不相交並定義為X∐Y:=X×{0}⋃Y×{1}。

拓撲

設X與Y為拓撲空間，則其拓撲不相交並X∐Y為拓撲空間，其開集由U∐V組成，其中U,V分別為X,Y的開集。