集合的不相交并（Disjoint union of sets）即 集合族不相交并（Disjoint union of a family of sets）的一个特例（Variant）

        两个集合的不相交并（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) = ∅ 。