\begin{definition}[Definition:Compact Element]
Let $\struct {S, \preceq}$ be an ordered set.
Let $x \in S$.
Then $x$ is '''compact (element)''' {{iff}} $x \ll x$
where $\ll$ denotes the way below relation.
\end{definition}