Min Operation Yields Infimum of Operands