Definition 4
Tag 03KQ, permanent. Cite it as [Bourbaki, Tag 03KQ].
Theory of Sets, chapter III, § 3. Equipotent sets. Cardinals
Let and be cardinals. The cardinal of the set of mappings of into is denoted by , by abuse of notation.
The abuse of notation here lies in the the fact that already denotes the set of graphs of mappings of into (Chapter II, § 5, no. 3), and this set is not necessarily a cardinal (Exercise 2). It will always be clear from the context which meaning is to be attached to the symbol .
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.