Ordnungsrelation/Zykel/Gleichheit/Aufgabe

Es sei ${}M$ eine Menge und ${}\preccurlyeq$ eine Ordnung auf ${}M$. Zeige durch Induktion über ${}n\geq 2$ die Aussage: Wenn für Elemente ${}a_{1},\ldots ,a_{n}\in M$ die Beziehung

${}a_{1}\preccurlyeq a_{2}\preccurlyeq \ldots \preccurlyeq a_{n-1}\preccurlyeq a_{n}\,$

und

${}a_{n}\preccurlyeq a_{1}\,$

gilt, dann sind alle ${}a_{1},\ldots ,a_{n}$ gleich.

Zur Lösung, Alternative Lösung erstellen