Διαμερισμός συνόλου
Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Διαμερισμός (ή διαμελισμός) ενός μη κενού συνόλου Α, είναι ένα σύνολο U = {Ui} υποσυνόλων του Α, τα οποία είναι ανά δύο ξένα μεταξύ τους και επιπλέον έχουν ένωση το σύνολο Α:
 και
 και 
Κάθε διαμερισμός U ενός συνόλου A ορίζει μία σχέση ισοδυναμίας  μεταξύ των στοιχείων του συνόλου, ως εξής:
 μεταξύ των στοιχείων του συνόλου, ως εξής:
 αν και μόνο αν
 αν και μόνο αν 
Αντίστροφα, κάθε σχέση ισοδυναμίας σε σύνολο επάγει και έναν διαμερισμό του συνόλου, που ορίζεται από τις κλάσεις ισοδυναμίας της.




