Axiom:Axiom of Approximation

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

The axiom of approximation says
 * $\forall x \in S: x = \map \sup {x^\ll}$

where $x^\ll$ denotes the way below closure of $x$.