ordnungstheorie/set point theory:
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