[include(틀:수학기초론)]
[[분류:집합론]]

== 개요 ==
실수 전체의 부분집합과 그 집합의 부분집합의 합의 관계에 관한 정리이다. 

== 내용 ==
실수 전체의 원소가 <math>n</math>개인 부분집합 <math>X</math>에 대하여 <math>X</math>의 원소 중 오직 <math>r</math>개 <math>(0\leq r\leq n)</math>의 원소만을 포함하는 모든 부분집합의 합을 <math>S</math>라 할 때, <math>X</math>의 모든 원소의 합 <math>S_x</math>에 대하여 <math>S=S_x\times {\Large r\times nCr \over n}</math>이 성립한다는 정리이다.

== 관련 문서 ==
 *[[부분집합]]
 *[[조합]]
 *[[경우의 수]]
 *[[집합론]]