Que esta definición da una topología correcta es algo fácilmente comprobable.