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.