Définition et (absence de) propriétés

Comme toutes les lois notées additivement, la loi + sur ℤ  possède une soustraction associée.
La définition est:
x-y = x+(-y)  ici x et y désignent des éléments de ℤ et -y désigne l'opposé de y.
Exemples:
Comme dans les autres cas cette opération ne possède aucune des propriétés de l'addition, en particulier elle n'est ni associative ni commutative.