for I being finite set
for F being Group-like associative multMagma-Family of I holds product F = sum F