additive preprojective additative superadditive underadditive overadditive hypoadditive protomodular preassociative supermultiplicative