An example of a topological space. Let *A* be a set totally ordered by the *first* uncountable ordinal number. Define *X* = *A* x [0,1) \ {(*a*,0)}, where *a* is the first element of *A*, and order *X* by lexicographical order. This induces a topology on *X*, called the *long line*.

Properties of the long line: