Notemos que cualquier biyección entre espacios discretos es un homeomorfismo.