Definition:Linearly Ordered Topological Space