Para cada unoa∈A, la clase de equivalencia dea es el siguiente subconjunto deA:[a]={a′∈A∣a′∼a}. Es decir, tenemos\(A=\bigcup_{a \in A}[a...Para cada unoa∈A, la clase de equivalencia dea es el siguiente subconjunto deA:[a]={a′∈A∣a′∼a}. Es decir, tenemosA=⋃a∈A[a], donde⋃a∈A[a]={x∣∃a∈A,(x∈[a])}. Para cualquieraa1,a2∈A, tal quea1∼a2, tenemos[a1]=[a2].
