Definition Given an Equivalence Relation (S,∼), S/∼:={[s]∈S} The set of equivalence classes Facts The quotient set form a Partition