加法的関数
↑ 可算和と可換であることを意味するσ加法性も「完全加法性」(completely additivity) と呼ぶこともあるが、それとは異なる