The [[Quotient Set]] of a [[Equivalence Relation]] $R$ on a [[Set|set]] $X$, denoted $X / R$, is the [[Set|set]] of all [[Equivalence Class|Equivalence Classes]] of $R$. The [[Quotient Set]] will always contains [[Disjoint Set|pairwise disjoint sets]], and the [[Union]] of all elements in the quotient set is equal to the [[Set|set]] $X$.