Definition:Way Below Closure

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

Let $x \in S$.

The way below closure of $x$, denoted by $x^\ll$, is defined by
 * $x^\ll := \left\{ {y \in S: y \ll x}\right\}$