An outer measure μ∗ satisfies a property called “subadditivity”, viz.: μ∗(⋃j=1∞Aj)≤∑j=1∞μ∗(Aj). If the less-than-or-equal sign were replaced with an equal sign then the property would be “additivity” instead.
subcountability subtractiveness subtractivity subsumability subconvexity adjunctiveness suppletiveness subsectivity adjunctivity subunity