A finite set of positive integers such that nonempty disjoint sets contained in have different sums, and the larger subset has the larger sum when their sizes differ. For , the size condition is equivalent to for : the left side is the smallest possible sum of elements and the right side the largest sum of elements.
New to topics? Read the docs here!