Dada una funciónf:X→Y, hay una relación de equivalencia natural∼f enX dada porx∼fy si y solo sif(x)=f(y). El conjunto correspondiente de clases de e...Dada una funciónf:X→Y, hay una relación de equivalencia natural∼f enX dada porx∼fy si y solo sif(x)=f(y). El conjunto correspondiente de clases de equivalencia esX/∼f={f−1(y):y∈f(X)}. Además, la funciónX/∼f→f(X) dada por[x]→f(x) es una correspondencia uno a uno.
