Precedes r←x⊲y

r is whether x is less than y according to total array ordering.