Запишите кванторами, что значит: 1) операция $*$ на множестве $M$ не ассоциативна; 2) в множестве $M$ не существует единицы; 3) не для всех элементов существует обратный элемент.
Чтобы послать решение задачи на проверку, или задать вопрос по условию, войдите на сайт под своим аккаунтом.