Succeeds Or Identical r←x⊵y

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