\begin{definition}[Definition:Axiom of Approximation]
Let $\struct {S, \preceq}$ be an ordered set.
'''Axiom of approximation''' says 
:$\forall x \in S: x = \map \sup {x^\ll}$
where $x^\ll$ denotes the way below closure of $x$.
\end{definition}