Ordnung/Endliche Menge/Total geordnet/Bijektiv/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine endliche total geordnete Menge. Definiere für ein geeignetes eine ordnungstreue bijektive Abbildung

wobei mit der natürlichen Ordnung versehen sei.