Entonces, la topología traza sobre formula_2 es la topología menos fina que hace continua a la inyección canónica