Las clases de equivalencia forman una partición de X, o sea una colección de subconjuntos no vacíos disjuntos entre si y cuya reunión es todo el conjunto.