フレシェ空間
If formula_8 is a Fréchet space or a LF-space then formula_357 is complete.