実際、加法的和集合上で定義される作用素を扱うことはしばしばある。