Definition talk:Linearly Ordered Space

The usual technique for denoting a topology is by $\left({X, \tau}\right)$. I am wary about adding entities to a definition without good reason. In this case I would have thought that the definition of $\tau$ itself should encompass the ordered nature of the underlying set, and from the point of view of the topology, once you have accepted the fact of $\tau$ and its method of construction, the ordering as such is not relevant. Thoughts? --prime mover (talk) 18:04, 29 October 2012 (UTC)


 * I think the ordering should be included, since the word "ordered" is in the title. It isn't suggested anywhere that a linearly ordered space is (just) a special kind of topological space, nor do I think it should be. Comments? --abcxyz (talk) 18:41, 29 October 2012 (UTC)