| ▲ | gobdovan 3 hours ago | |
My comment is not long enough either to get lost in. The prose "It also means that no ties are permitted - either I am better than my grandmother at soccer or she is better at it than me" is inaccurate for describing antisymmetry. In the same short section, you first state the correct condition: You have x ≤ y and y ≤ x only if x = y from which it doesn't follow that "It also means that no ties are permitted". The "no ties" idea belongs to a stronger notion such as a strict total order, not to antisymmetry. | ||