Category:Definitions/Linearly Ordered Spaces