Definition:Compact Element

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

Let $x \in S$.

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

where $\ll$ denotes the way below relation.