The infimum of a set S is the greatest lower bound of S. For example, the set {x : -1≤x≤1} has the infimum -1.