\begin{definition}[Definition:Filter in Ordered Set]
Let $\left({S, \preceq}\right)$ be a preordered set.
Let $F$ be a subset of $S$.
$F$ is '''filter''' in $\left({S, \preceq}\right)$ {{iff}}
:$F$ is non-empty filtered and upper.
\end{definition}