min(Sx,Sy) = S(min(x,y))
min(x,0) = 0
min(x,y) = min(y,x)

(x,y) x (x y)   (infatti se x≤y … mentre altrimenti …)