# Equivalence of Definitions of Generalized Ordered Space/Definition 3 implies Definition 1

Jump to navigation
Jump to search

## Theorem

Let $\left({S, \preceq, \tau}\right)$ be a generalized ordered space by Definition 3:

$\struct {S, \preceq, \tau}$ is a **generalized ordered space** if and only if:

- $(1): \quad \struct {S, \tau}$ is a Hausdorff space

- $(2): \quad$ there exists a sub-basis for $\struct {S, \tau}$ each of whose elements is an upper set or lower set in $S$.

Then $\left({S, \preceq, \tau}\right)$ is a generalized ordered space by Definition 1:

$\struct {S, \preceq, \tau}$ is a **generalized ordered space** if and only if:

- $(1): \quad \struct {S, \tau}$ is a Hausdorff space

## Proof

Let $\mathcal S$ be a sub-basis for $\tau$ consisting of upper sets and lower sets.

Let $\mathcal B$ be the set of intersections of finite subsets of $\mathcal S$.

By Upper Set is Convex, Lower Set is Convex and Intersection of Convex Sets is Convex Set (Order Theory) :

But $\mathcal B$ is a basis for $\tau$.

Therefore $\tau$ has a basis consisting of convex sets.

$\blacksquare$