„Ekvivalenciareláció” változatai közötti eltérés

* Minden <math>\sim</math> ekvivalenciareláció egyértelműen meghatároz egy [[osztályfelbontás|osztályozás]]t azon az <math>A</math> halmazon, amelyen a reláció definiálva van: az <math>a, b \in A</math> elemek pontosan akkor kerülnek egy osztályba ebben az osztályozásban, ha <math>a \sim b</math> teljesül.

* Fordítva: valamely <math>A</math> halmaz minden osztályozása egyértelműen meghatároz egy ekvivalenciarelációt az adott halmazon. Ennél az ekvivalenciarelációnál pontosan azok az elemek állnak relációban egymással, amelyek az osztályozásnak ugyanabban az osztályában vannak.

 

== Példák ==