フレシェ空間
The direct sum of a finite number of Fréchet spaces is a Fréchet space.