An -set has positive integer generators chosen so that every expression below is positive, and consists of all their values:The required positivity is equivalent to for each ; it is not defined by discarding nonpositive values from the displayed family.
New to topics? Read the docs here!