subadditive (additive + sub-; below_under)
Such that the image of a sum is at most the sum of the images of the summands