Definition:Representative of Equivalence Class