Διαμερισμός συνόλου

Διαμερισμός, διαμέριση ή διαμελισμός ενός μη κενού συνόλου Α, είναι ένα σύνολο  υποσυνόλων του Α, τα οποία είναι ανά δύο ξένα μεταξύ τους και επιπλέον έχουν ένωση το σύνολο Α:
 και 

Κάθε διαμερισμός U ενός συνόλου A ορίζει μία σχέση ισοδυναμίας  μεταξύ των στοιχείων του συνόλου, ως εξής: 

 αν και μόνο αν 

Αντίστροφα, κάθε σχέση ισοδυναμίας σε σύνολο επάγει και έναν διαμερισμό του συνόλου, που ορίζεται από τις κλάσεις ισοδυναμίας της.

Ο διαμερισμός ενός συνόλου χαρακτηρίζεται λεπτός ή αδρός ανάλογα με το πλήθος των υποσυνόλων που τον απαρτίζουν. Συγκεκριμένα, αν  και  είναι δύο διαφορετικοί διαμερισμοί του ίδιου συνόλου, λέμε ότι ο πρώτος είναι λεπτότερος από το δεύτερο και ο δεύτερος αδρότερος από τον πρώτο, αν ο πληθάριθμος του I είναι μεγαλύτερος από τον πληθάριθμο του J.

Δείτε ακόμη
 Σύνολο
 Σχέση ισοδυναμίας

Θεωρία συνόλων