Class Representative

A set of class representatives is a Subset of $X$ which contains exactly one element from each Equivalence Class.