Es sei ( I , ≼ ) {\displaystyle {}(I,\preccurlyeq )} eine total geordnete Menge. Zeige durch Induktion, dass jede nichtleere endliche Teilmenge T ⊆ I {\displaystyle {}T\subseteq I} ein eindeutiges Maximum besitzt.
