Open Ray is Open in GO-Space/Definition 2

Theorem
Let $\left({X, \preceq, \tau}\right)$ be a generalized ordered space.

Let $p \in X$.

Then ${\dot\downarrow} p$ and ${\dot\uparrow} p$ are $\tau$-open.

Here, ${\dot\downarrow}p$ and ${\dot\uparrow}p$ are the strict down-set and strict up-set of $p$, respectively.

Proof
We will prove that ${\dot\uparrow} p$ is open.

That ${\dot\downarrow}p$ is open will follow by duality.

By the definition of generalized ordered space, there is a Definition:Linearly Ordered Space $(X', \preceq', \tau')$ and a mapping $\phi: X \to X'$ which is both a order embedding and a topological embedding.

Then ${\dot\uparrow'} \phi(p)$ is an open ray in $X'$, and therefore $\tau'$-open.

Then $\phi^{-1} \left({ {\dot\uparrow'} \phi(p) }\right) = {\dot\uparrow}p$.

Since $\phi$ is a topological embedding, it is continuous, so ${\dot\uparrow}p$ is $\tau$-open.