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