Proyección

Dada una relación de equivalencia en un conjunto cualquiera, se llama proyección a aquella función que asigna a cada elemento x su clase de equivalencia, es decir, el conjunto de todos los puntos que son equivalentes a x. Por ejemplo, si X es un subconjunto del plano, podemos proyectarlo sobre el eje de las abscisas, considerando equivalentes a todos los puntos de X que tienen el mismo valor en su primera coordenada.

X

p(X)