任意の加法的なモノイド(例として、任意の群やより一般的なベクトル空間が挙げられる)に値を取る有限加法的関数を定義することが出来る。