min (X,Y) definition

min (X,Y) means X if X–Y is negative (and otherwise means Y), and