Не понял, что тут нарушено. Требование единственности? Оно было бы нарушено, если бы значение 1*2 или 1/4*8 было определено неоднозначно.

Изображение

Курош, Теория групп, с. 15.