Minimal r←x⇂y

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