Definition talk:Totally Ordered Space