Inclusion–exclusion principle
유한집합의 합집합의 원소의 개수를 나타내는 공식이다.
유한집합
A1,A2,⋯,An에 대해, 다음 식이 성립한다.
∣A1∪A2∪⋯∪An∣=1≤i≤n∑∣Ai∣−1≤i<j≤n∑∣Ai∩Aj∣+1≤i<j<k≤n∑∣Ai∩Aj∩Ak∣+⋯+(−1)n+1∣A1∩A2∩⋯∩An∣
더 간단하게 표현하면,
i=1⋃nAi=k=1∑n(−1)k+1(1≤i1<<⋯<ik≤n∑∣Ai1∩⋯∩Aik∣)
을 얻는다.