Más generalmente, dado un conjunto "X", una relación de equivalencia ~ en "X", y una función "f" en "X", uno puede estar interesado en saber si "f" puede ser vista como una función en el conjunto de cocientes "X"/~.