O(1) ordering relation.