Data structure that keeps track of a set of elements partitioned into a number of disjoint (nonoverlapping) subsets