Corollary 1
Tag 03MC, permanent. Cite it as [Bourbaki, Tag 03MC].
Theory of Sets, chapter III, § 5. Properties of integers
Let A be a set with n elements and let p be an integer . Then the number of subsets of A which have p elements is .
Put , , in Proposition 11.
¶ The number of subsets containing elements in a set of elements (where ) is denoted by and is called the binomial coefficient with indices n and p. From the relation it follows immediately that .
This is also a consequence of the fact that, if E is a set with elements, is a bijection of the set of subsets of E consisting of elements onto the set of subsets of elements.
We put for each pair of natural integers such that . With this convention the number of subsets of elements in a set of elements is for every natural integer .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
- alg-i-s6-n6-lem-1 not in this corpus
- alg-iii-s7-thm-1-cor-1 not in this corpus