Minimales Element
Einfache Sprache
Def. Minimales Element
Sei $\precsim\subseteq A\times A$ eine Quasiordnung und $B\subseteq A$. Dann ist $b\in B$ das minimale Element gdw. $\not\exists b'\in B: b'\prec b$.
bzw.
$$\forall b'\in B:(b'\precsim b \implies b\precsim b')$$Home: