Gruppo
∀a,b,c ∈ G: (a*b)*c = a*(b*c)
∀a ∈ G, ∃e ∈ G: a*e = e*a = a
∀a ∈ G, ∃a'i ∈ G: a*a' = a'*a = e
Gruppo abeliano
∀a,b,c ∈ G: (a*b)*c = a*(b*c)
∀a,b ∈ G: a*b = b*a
∀a ∈ G, ∃e ∈ G: a*e = e*a = a
∀a ∈ G, ∃a'i ∈ G: a*a' = a'*a = e
Anello
∀a,b,c ∈ A: (a+b)+c = a+(b+c)
∀a,b ∈ A: a+b = b+a
∀a ∈ A: a+0 = 0+a = a
∀a ∈ A, ∃a' ∈ A: a+a' = a'+a = 0
∀a,b,c ∈ A: (a·b)·c = a·(b·c)
∀a,b,c ∈ A: a·(b+c) = a·b+a·c ; (a+b)·c = a·c+b·c
Anello commutativo
Proprietà Anello + ∀a,b ∈ A: a·b = b·a
Anello unitario
Proprietà Anello + ∃e ∈ A: a·1 = 1·a = a