n (mathematics) (of a subset) the least element of the containing set that is greater or equal to all elements of the subset. The supremum may or may not be a member of the subset.