Definition:Altered Long Line/Greatest Element

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T = \struct {S, \tau_p}$ denote the altered long line on the long line $L$.

Let $p$ be the point which is not an element of $L$ upon which the topology $\tau_p$ is generated.


$p$ is the greatest element of $S = L \cup \set p$.


Sources