加法定理
変数が 2 つの場合には関数 f の加法定理は形式的に 2 変数の関数 G を用いて f (x + y) = G(f (x), f (y)) の形に書き表される。このときの G がどのような関数としてとれるかという基準で加法定理を分類することも考えられる。
たとえば a という定数によって a 倍する写像 ma: x ↦ ax を考えるとき、a(x + y) = ax + ay となるという性質は分配法則と呼ばれるが、これはベクトル空間や環(あるいは環上の加群)などで成立する加法定理の一種である。もう少し一般に関数 f が f (x + y) = f (x) + f (y) の形の加法定理を満足するとき、関数 f は加法的であるまたは加法性を持つという。これは関数 f が加法群の間の準同型となることを意味している。また、指数法則の一つである指数関数の加法定理 exp(x + y) = exp(x)exp(y) などは加法が乗法に写るような加法定理である。