Fréchet space
If formula_8 is a Fréchet space then the topologies formula_355