Правильно ли я понимаю, что при умножении совокупностей в т.5 для умножения их элементов мы подразумеваем применение композиции, определённой для группы, а вот сумма - это дополнительная операция, которая никак ранее не вводилась и результат её нам не известен?