The min operator