Es sei ( I , ≼ ) {\displaystyle {}(I,\preccurlyeq )} eine geordnete Menge mit der Eigenschaft, dass jede total geordnete Teilmenge J ⊆ I {\displaystyle {}J\subseteq I} eine obere Schranke in I {\displaystyle {}I} besitzt.
Dann gibt es in I {\displaystyle {}I} maximale Elemente.
