Las clases de equivalencia son las preimágenes f(y), donde y está en f(X).