Total Order Relations are relations with the properties: reflexive, anti-symmetric and transitive. A comparison rule that satisfies these three properties will never lead to a comparison contradiction.
Total Order Relations are relations with the properties: reflexive, anti-symmetric and transitive. A comparison rule that satisfies these three properties will never lead to a comparison contradiction.