Вот я и говорю, что в терминах наборов сложение чисел вевсе никая не "естественная" операция. Поэтому так просто её обобщить не получится.

А "по определению - хороший ответ, но у нас нет нормального определения. Есть только дурацкое в терминах разложения на множители.