Definition:Generalized Ordered Space/Definition 1
Jump to navigation
Jump to search
Definition
Let $\struct {S, \preceq}$ be a totally ordered set.
Let $\tau$ be a topology on $S$.
$\struct {S, \preceq, \tau}$ is a generalized ordered space if and only if:
- $(1): \quad \struct {S, \tau}$ is a Hausdorff space