minimum  -- Operation, two inputs.  Abbreviation: min
     The output of this procedure is equal to whichever of the  two  inputs
     is numerically smaller.
