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