x ≠ y hay vecindades abiertas V y V tales que x ∈ V, y ∈ V y V ∩ V = ∅.