Proposition 11
Tag 03KW, permanent. Cite it as [Bourbaki, Tag 03KW].
Theory of Sets, chapter III, § 3. Equipotent sets. Cardinals
Let be a cardinal. Then , , ; and if .
For there exists a unique mapping of into any given set (namely, the mapping whose graph is the empty set); the set of mappings of a set consisting of a single element into an arbitrary set X is equipotent to X (Chapter II, § 5, no. 3); there exists a unique mapping of an arbitrary set into a set consisting of a single element; and, finally, there is no mapping of a non-empty set into .
¶ Note in particular that .
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
Nothing.