フレシェ空間
Such a graded Fréchet space is called a if it satisfies the following condition: