Tính chất này rất tự nhiên nếu đặt trong bối cảnh: x <= y && y <= x => x = y.
Hay nói cách khác, đã có lớn bé thì chỉ có một lớn một bé.
Có thể định nghĩa < như sau /!\
: Tập S trang bị toán tử <, kí hiệu (S, <) thỏa mãn với a, b, c thuộc S:
- ~(a < a)
- ~(a < b && b < a)
- a < b && b < c => a < c
thì gọi là S có weak order <.
Một điều kiện khác được bổ sung: Đặt Q = ~(a < b) && ~(b < a) thì aQb && bQc => aQc. Cái này để xác lập những nhóm đồng hạng và gọi là strict weak ordering. Bạn đọc có thể thấy Q là qh tương đương.