两个集合的不相交并(Disjoint union of two sets),就是,只有两个集合的集合族的不相交并(Disjoint union of a family two of sets),
即 A U B =(Σ x ∈ 2)C (x),给定C(0) = A, C(1) = B。
详细解析有,给定两个集合 A 和 B,它们的不相交并集合(Disjoint union of sets)为,
A U B,且 A ∩ B = ∅
=> | A U B | = | A | + | B |
通过集合族不相交并(Disjoint union of a family of sets)来表示 A U B,
有 A U B =(Σ a ∈ 2)C (a)。
(Σ a ∈ 2)C (a) = C(0) + C(1)
设计 C,使得 C(0) = A, C(1) = B,
有 (Σ a ∈ 2)C (a) = C(0) + C(1) = A + B = A U B
口
同理,将该逻辑推广之任意多个集合的不相交并,
有 S1 U ... U Sn =(Σ x ∈ N)B (x),N为自然数,B(i) = Si,0 < i <= n;B(0) = ∅ 。