Bourbaki

Definition 4

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

Theory of Sets, chapter III, § 3. Equipotent sets. Cardinals

Let a\mathfrak{a} and b\mathfrak{b} be cardinals. The cardinal of the set of mappings of b\mathfrak{b} into a\mathfrak{a} is denoted by ab\mathfrak{a}^{\mathfrak{b}}, by abuse of notation.

The abuse of notation here lies in the the fact that ab\mathfrak{a}^{\mathfrak{b}} already denotes the set of graphs of mappings of b\mathfrak{b} into a\mathfrak{a} (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 ab\mathfrak{a}^{\mathfrak{b}}.

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.

Cites

Transcribed from the printed edition, 2004, Springer. Not translated.