Uno puede demostrar que existe una única topología sobre "X" tal que cada "U" es abierto y cada "φ" es un homeomorfismo.