集合演算（主に直和） 集合演算は： 直積： A×B 直和： A + B 直和は、直感的には「AとBが交わらないように置いたもの」だが、集合論内で扱う場合は次のように定義する。 A + B := ({1}×A)∪({2}×B) = {(n, x)∈{1, 2}×(A∪B) | (n = 1 ∧ x∈A) ∨ (n = 2 ∧ x∈B)}…