In mathematics, the infimum of a subset S {\displaystyle S} of a partially ordered set P {\displaystyle P} is the greatest element in P {\displaystyle P} that is less than or equal to each element of S, {\displaystyle S,} if such an element exists. Wikipedia