非交和
集合 A0 = {1, 2, 3} と A1 = {1, 2} の非交和 A0 ⊔ A1 あるいは A0 ∪* A1 は
A 0 ∗ = { ( 1 , 0 ) , ( 2 , 0 ) , ( 3 , 0 ) } A 1 ∗ = { ( 1 , 1 ) , ( 2 , 1 ) } {\displaystyle {\begin{aligned}A_{0}^{*}&=\{(1,0),(2,0),(3,0)\}\\A_{1}^{*}&=\{(1,1),(2,1)\}\end{aligned}}}
を用いて、
A 0 ⊔ A 1 = A 0 ∪ ∗ A 1 := A 0 ∗ ∪ A 1 ∗ = { ( 1 , 0 ) , ( 2 , 0 ) , ( 3 , 0 ) , ( 1 , 1 ) , ( 2 , 1 ) } {\displaystyle A_{0}\sqcup A_{1}=A_{0}\cup ^{*}A_{1}:=A_{0}^{*}\cup A_{1}^{*}=\{(1,0),(2,0),(3,0),(1,1),(2,1)\}}
のように計算される。
↑ ProofWiki
↑ nlab
↑ MathWorld