 and it turns out that, again, such an operator would have the properties one might expect. For example, as long as the arguments satisfy the relevant condition ξ, × is idempotent, commutative, and associative, and it interacts with each +i in conformity with the usual distribution laws: