In algebra, sono dette proprietà di cancellazione o di semplificazione le seguenti: sia {\displaystyle \left} un gruppo; allora presi tre elementi a, b, c ∈ G {\displaystyle a,b,c\in G} valgono le implicazioni a ⋆ b = a ⋆ c ⟹ b = c {\displaystyle a\star b=a\star c\implies b=c} a ⋆ b = c ⋆ b ⟹ a = c {\displaystyle a\star b=c\star b\implies a=c} Le due proprietà sono equivalenti se G {\displaystyle G} è un gruppo abeliano. Wikipedia