A data structure that maintains a collection of disjoint sets and supports operations like union and find.