 In the context of EM, each (P.12ξ,i) would then imply that the corresponding sum operator has all the “Boolean” properties one might expect (Breitkopf 1978). For example, as long as the arguments satisfy the relevant condition  ξ,[20]  each +i is idempotent, commutative, and associative,