어야 합니다. 그런데 집합 (ANB), (800)와 (CNA) 원 소의 개수를 빼다 보면, 집합 (&(18(1ㅇ)의 원소의 개수가 세 번 빠지게 되므로 두 집합의 포함배제의 원리에서와 같이 다시 더해 주어야 한다는 결과를 얻게 됩니다.

고

n(AUBUC)=n(A)+n(B)+n(C)—n(ANB) —n(BNC)—n(CNA)+n(ANBNC)

따라서 다음 식이 정립함을 추측해 볼 수 있겠지요.

n( ASA BNC)

=n{(AUBUC)’]

=n(U)—n(AUBUC)

=n(U)—n(A)—n(B) —2(C)+n2(ANB)+n(BNC) +n(CNA)—n(ANBNC)

디리클레가 들려주는 선택과 배열 이야기