1 準備

交わらない有限集合を合わせると、個数は和になる（L∪）。
有限集合の部分集合は有限（Lfin）。

2 主定理

\(|A \cup B| + |A \cap B| = |A| + |B|\)。\(B \setminus A\) は有限で、\(A \cup B\) は \(A\) と \(B \setminus A\)、\(B\) は \(A \cap B\) と \(B \setminus A\) に交わらずに分かれる。
\(a , b , c , u \in \mathbb{M} , A \stackrel{\#}= a , B \stackrel{\#}= b , A \cap B \stackrel{\#}= c , A \cup B \stackrel{\#}= u \Longrightarrow u + c = a + b\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，ax_s ，+𝕄