The infimum of an ordered set S is the greatest lower bound of all the elements of S. More technically, the infimum of S is less than or equal to every member of S and for every epsilon greater than zero there is some element of S which is less than the infimum of S plus epsilon.