Legyen R egy tetszőleges kommutatív gyűrű. Ekkor a 16.6. Definíció szerinti asszociáltság egy ekvivalenciareláció a gyűrű R alaphalmazán. Más szavakkal tetszőleges a, b és c elemekre teljesülnek az alábbiak:
- a\sim a (reflexivitás).
- Ha a\sim b, akkor b\sim a (szimmetria).
- Ha a\sim b és b\sim c, akkor a\sim c (tranzitivitás).
