Definition:Filter in Ordered Set

Definition
Let $\left({S, \preceq}\right)$ be a preordered set.

Let $F$ be a subset of $S$.

$F$ is filter in $\left({S, \preceq}\right)$


 * $F$ is non-empty filtered and upper.