Definitions for "Partition of a set"
a collection of disjoint sets whose union is the set
a collection of non-empty subsets that do not overlap and that has union equal to the whole set
a collection of subsets for which the intersection of any pair of sets is empty