フレシェ空間
The strong dual of a DF-space is a Fréchet space.