すべての完全加法的関数は加法的であるが、その逆は一般には成立しない.
一般には