ordnungstheorie/set point theory:

x   {displaystyle x } ist minimales element von M

ein element einer geordneten menge ist minimal, wenn es kein kleineres gibt.

x is minimal element from M

an element from an ordely amount is minimal if there is no smaller one

:⟺ ∀ y ∈ M : ( y ≤ x ⇒ x ≤ y ) {displaystyle :Longleftrightarrow orall yin M:(yleq xRightarrow