Σχέση ισοδυναμίας: Διαφορά μεταξύ των αναθεωρήσεων

Το σύνολο όλων των α και β για τα οποία α ~ b συνθέτουν μια κλάση ισοδυναμίας του X από την ~. Έστω <math>[a] := \{x \in X | x \sim a\}</math> προσδιορίζει την ισοδυναμίαισοδύναμη κατηγορία στην οποία ανήκει το α. Στη συνέχεια, όλα τα στοιχεία του X είναι ισοδύναμα μεταξύ τους, όπως και τα στοιχεία της ίδιας κλάσης ισοδυναμίας.