2.NounThe statement that a function is subadditive.
"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."