フレシェ空間
The topology of every Fréchet space is induced by some translation-invariant complete metric.