Como puede observarse, la definición es muy formal y general, y lo primero que se observa es que sobre un mismo conjunto pueden darse multitud de topologías distintas.