Finite-set infimum comparison