Dans n'importe quel groupe additif (groupe où on appelle + l'opération de groupe), la soustraction est une opération clairement définie qui a des propriétés (dont la non-commutativité et la non-associativité). C'est le cas aussi d'un anneau (et tous les cas particuliers d'anneaux: corps etc.) ou d'un espace vectoriel, parce que ce sont tous des groupes par rapport à l'addition.