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