Una relación de equivalencia R en X o lo que es lo mismo una partición (a veces llamada descomposición en algunos textos de Topología) definen un conjunto cociente, X/ R y una suprayección