Maximal r←x↾y

r is the greater array between x and y, according to total array ordering.