größtes Element

Einfache Sprache

Def. größtes Element

Sei $\precsim\subseteq A\times A$ eine Quasiordnung und $B\subseteq A$. Dann ist $b\in B$ das größtes Element gdw. $\forall b'\in B: b'\precsim b$.