Definition 15.1.5 (Order Complete).label Let $(E, \le)$ be an ordered vector space, then $E$ is order complete if for any order bounded set $A \subset E$, $\sup (A)$ and $\inf (A)$ exist.
Definition 15.1.5 (Order Complete).label Let $(E, \le)$ be an ordered vector space, then $E$ is order complete if for any order bounded set $A \subset E$, $\sup (A)$ and $\inf (A)$ exist.