Así que X/f tiene la topología de Sierpinski.