Inklusjon-og-eksklusjonsprinsippet

Når A og B er to endelige mengder, sier inklusjon-og- eksklusjonsprinsippet: |A U B|= |A|+|B| - |A ∩ B| Ved tre mengder: |A U B U C|= |A|+|B|+ |C| - (|A ∩ B| + |A ∩ C| + |B ∩ C|) + |A ∩ B ∩ C|