Definition:Principal Ideal of Ordered Set

Definition
Let $\struct {S, \preceq}$ be a preordered set.

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

Also See

 * Equivalence of Definitions of Principal Ideal