Définition
Propriété d'une opération binaire sur une structure algébrique indiquant que pour un élément fixé a, si a · x = a · y alors x = y ; lorsque cela vaut pour tout a dans un sous-ensemble donné, on dit que l'annulation à gauche y est vérifiée.