Sea [x] la clase de equivalencia de x y A/f el conjunto cociente de A por dicha relación (ver apéndice Los Conjuntos.