A disjoint set is a data structure S = , or a collection of disjoint dynamic sets.
Each set has a representative element, which never changes unless unioned with another set.