Fréchet space

locally convex space that is complete with respect to a translation-invariant metric