函数的次可加性.函数的次可加性(subadditivity)是函数的一个性质，它粗略的声称计算函数对定义域中两个元素的和总是返回小于等于这个函数对每个元素的值的和的某个值。在数学的各个领域中有很多次可加函数的例子，特别是范数和平方根。加性函数是次可加函数的特殊情况。
定义.一个函数f:A→B，其定义域A和陪域B上分别定义了某种加法formula_1和formula_2，且陪域B上定义了偏序关系“formula_3”。若该函数满足：∀x,y∈A，有formul