Inklusjonseksklusjon
Inklusjonseksklusjon er et grunnleggende prinsipp i kombinatorikk og sannsynlighet som brukes til å telle størrelsen av unionen av en eller flere mengder uten å telle elementer flere ganger. For to mengder A og B er størrelsen av unionen gitt ved |A ∪ B| = |A| + |B| - |A ∩ B|. For tre mengder A, B og C gjelder |A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |A ∩ C| - |B ∩ C| + |A ∩ B ∩ C|, og formelen utvides til flere mengder ved å veksle mellom tillegg og subtraksjon av størrelser av fellesmengder.
Generelt, for en endelig familie av mengder A1, A2, ..., An er størrelsen av unionen |∪_{i=1}^n Ai| =
Bruksområder inkluderer å telle objekter i unionen, å beregne sannsynligheter og å løse telleproblemer i statistikk,