Ordnungstheorie/Geordnete Menge/Minimales Element/Definition

Minimum

Es sei ${}(I,\preccurlyeq )$ eine geordnete Menge. Ein Element  ${}x\in I$  heißt minimal (in ${}I$) oder ein minimales Element (von ${}I$), wenn es kein Element ${}y\in I$, ${}y\neq x$, mit  ${}y\preccurlyeq x$  gibt.