Subset of elements in a set that are equivalent to each other under a given relation.