(math.) infimum; greatest lower bound

这个集合的下确界是零。