Corollary 4

Tag 03LT, permanent. Cite it as [Bourbaki, Tag 03LT].

Theory of Sets, chapter III, § 5. Properties of integers

The set of subsets of a finite set E is finite.

For its cardinal is $2^{\mathrm{Card}\ (\mathrm{E})}$ ( $\S\,3$ , no. 5, Proposition 12).

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

Exercise 1, § 4

Cites

§ 3, no. 5, Proposition 12