Fréchet space
Conversely, if the topology of a locally convex space formula_1 is induced by a translation-invariant complete metric then formula_1 is a Fréchet space.