Precedes Or Identical r←x⊴y

r is whether x is less than y according to total array ordering, or x is exactly equal to y.