Anteriormente, en el ejemplo 9.4.3, vimos que la relación x ∼ y, ssi, x-y es un número entero, producía un espacio cociente que al denotamos por R/Z.