Sea f:X → Y una función compatible con la relación de equivalencia---es decir que x ∼ y ⇒ f(x) = f(y), o equivalentemente f es constante en las clases de equivalencia.