n (mathematics) (of a subset) the greatest element of the containing set that is smaller than or equal to all elements of the subset. The infimum may or may not be a member of the subset.