infimum

when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements of a given subset