A partition of a set is a grouping of its elements into non-empty subsets, in such a way that every element is included in exactly one subset.