Ordnungstheorie/Geordnete Menge/Größtes Element/Definition

Größtes Element

Es sei $(I,\preccurlyeq )$ eine geordnete Menge. Ein Element  $x\in I$  heißt größtes Element von $I$, wenn  $y\preccurlyeq x$  für jedes  $y\in I$  gilt.