定理一覧

命題（和の公式） A,BA, BA,B を共通部分が空集合であるような有限集合とする。このとき ∣A∪B∣=∣A∣+∣B∣|A \cup B|=|A|+|B|∣A∪B∣=∣A∣+∣B∣ が成り立つ。

命題（積の公式） 有限集合 A,BA,BA,B に対して、A×B={(a,b)∣a∈A,b∈B}A\times B=\{(a,b)\mid a\in A, b\in B\}A×B={(a,b)∣a∈A,b∈B} とおく。このとき、∣A×B∣=∣A∣×∣B∣|A\times B|=|A|\times |B|∣A×B∣=∣A∣×∣B∣ が成り立つ。