Lower Section with no Greatest Element is Open in GO-Space

Theorem
Let $(S, \preceq, \tau)$ be a generalized ordered space.

Let $L$ be a lower set in $S$ with no maximal element.

Then $L$ is open in $(S, \preceq, \tau)$.

Proof
By Lower Set with no Maximal Element:
 * $L = \bigcup \left\{{ {\dot\downarrow}l: l \in L }\right\}$

where ${\dot\downarrow}u$ is the strict down-set of $l$.

By Open Ray is Open in GO-Space and the fact that a union of open sets is open, $L$ is open.