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
the greatest element of the containing set that is smaller or equal to all elements of the subset. The infimum may or may not be a member of the subset