\begin{definition}[Definition:Ideal in Ordered Set]
Let $\left({S, \preceq}\right)$ be a preordered set.
Let $I$ be a subset of $S$.
$I$ is '''ideal''' in $\left({S, \preceq}\right)$ {{iff}}:
:$I$ is non-empty directed and lower.
\end{definition}