A data structure that represents a collection of disjoint sets, where each set contains a representative element.