Definition:Compact Element

Definition
Let $\struct {S, \preceq}$ be an ordered set.

Let $x \in S$.

Then $x$ is compact (element) $x \ll x$

where $\ll$ denotes the way below relation.