Не понимаю почему это не группа.

[NuclearHardFather]

Множество целых чисел с операцией вычитания не является группой согласно Проскурякову. Объясните, пожалуйста, почему оно не удовлетворяет аксиомам группы, ведь:
1. Разность любых двух чисел есть целое число.
2. Нейтральный элемент 0.
3. Каждое целое число противоположно самому себе, относительно вычитания.
Заранее благодарю.

[g______d]

Напишите здесь определение группы, возможно, вопрос снимется в процессе.

[NuclearHardFather]

Аргх, опять чувствую себя дураком. Операция же должна быть ассоциативной!

[iifat]

Да и операция с нейтральным элементом должна быть симметричной.