 Fréchet space

A Fréchet space is a complete metrizable locally convex space. Its topology can be described by a countable family of seminorms.