Let $X$ be a preordered set and $a \in X$.
$a$ is a greatest element of $X$ if
\[\forall x \in X : x \leq a.\]$a$ is a least element of $X$ if
\[\forall x \in X : a \leq x.\]
- Any greatest element is maximal.
- Any least element is minimal.
Let $X$ be a preordered set and $a \in X$.
$a$ is a greatest element of $X$ if
\[\forall x \in X : x \leq a.\]$a$ is a least element of $X$ if
\[\forall x \in X : a \leq x.\]
- Any greatest element is maximal.
- Any least element is minimal.