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