Ordnung/Endliche Menge/Total geordnet/Bijektiv/Aufgabe

Es sei ${}(M,\leq )$ eine endliche total geordnete Menge. Definiere für ein geeignetes ${}n\in \mathbb {N}$ eine ordnungstreue bijektive Abbildung

${\{1,\ldots ,n\}}\longrightarrow M,$

wobei ${}{\{1,\ldots ,n\}}$ mit der natürlichen Ordnung versehen sei.

Eine Lösung erstellen