Minimum r←x⌊y

r is the result of the scalar application of the minimum function, min ( x , y ) \min(x, y) , which returns the smaller argument as described by total array ordering.