If is a continuous monoid, then for any index set and collection of elements , one can define and together with this infinitary sum operation is a complete monoid.
if is a continuous monoid then for any index set and collection of elements  one can define and together with this infinitary sum operation is a complete monoid