subadditive

not defined yet