bot писал(а):
Если не предполагать никакой связи между операциями, то строй, сколь душа пожелает.

Только кому они нужны без связи то?
Согласен. Может кому-то и нужны, но не мне, не сей час.
bot писал(а):
Например, на множестве действительных чисел для каждого

определяем операцию

. Относительно каждой операции

множество

становится абелевой группой с нейтралом

.
Это тоже не то, что я бы хотел. Не знаю как формально высказаться. Но. Тут вы определили

через уже присутствующий в системе

. Тоесть сама аксиоматическая структура действительных чисел осталась прежней. И

можно рассматривать как функцию, действующую в уже заданной структуре, а не как операцию, дающую новый вид алгебраической структуры.