Es sei ( I , ≼ ) {\displaystyle {}(I,\preccurlyeq )} eine nichtleere geordnete Menge mit der Eigenschaften, dass alle Ketten in I {\displaystyle {}I} endlich seien. Beweise in dieser Situation direkt, dass es in I {\displaystyle {}I} maximale Elemente gibt.
