Endliche Menge/1 bis k/Eins heraus/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine natürliche Zahl mit dem Vorgänger , es sei also . Es sei ein fixiertes Element.

Dann gibt es eine bijektive Abbildung zwischen und .

Zum Beweis, Alternativen Beweis erstellen