Definition:Principal Ideal of Ordered Set

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

Let $I$ be an ideal in $S$.

Also See

 * Equivalence of Definitions of Principal Ideal