フレシェ空間
A Fréchet space can be defined as a complete locally convex space with a separated countable family of seminorms.