Total Order Relation Definition