Category:Generalized Ordered Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Generalized Ordered Spaces.
Definitions specific to this category can be found in Definitions/Generalized Ordered Spaces.

$\left({S, \preceq, \tau}\right)$ is a generalized ordered space if and only if:

$(1): \quad \left({S, \tau}\right)$ is a Hausdorff space
$(2): \quad$ there exists a basis for $\left({S, \tau}\right)$ whose elements are convex in $S$.