可加性是指对于某种变换来说，特定的“加法”和该变换的顺序可颠倒而不影响结果，这样一种性质。例如对于两个实数x 和 y，我们可以先执行加法 x+y、后把结果乘以二；也可以先各自乘以二然后再相加，两边结果是一样的。那么我们说变换“乘以二”具有可加性。
定义.一个函数f:A→B，其定义域A和陪域B上分别定义了某种加法formula_1和formula_2。若该函数满足：∀x,y∈A，有formula_3。则称f对于formula_1和formula_2满足可加性。在上下文对于form