Define Totally Ordered Set