Definition:Totally Ordered Space