Definition:Indexed Iterated Binary Operation

Definition:Iterated Binary Operation Indexed

Unitary Magma
If the tuple is empty, then the composite is assigned the value of the identity of the operation (if this is a structure with an identity, that is):


 * $\oplus_0 \left({\varnothing}\right) = e_S$

Also see

 * Definition:Indexed Summation