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