Episode I

Alice és Bob

. rész: Asszociáltság ekvivalenciareláció

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:

  1. a\sim a (reflexivitás).
  2. Ha a\sim b, akkor b\sim a (szimmetria).
  3. Ha a\sim b és b\sim c, akkor a\sim c (tranzitivitás).