次の定義は(過去スレ008の554)の拡張である。

定義
K を実数体または複素数体とする。
K 上の分離的で局所凸(過去スレ008の513, 593)な位相線形空間 E は
距離付け可能(過去スレ007の96)で完備なとき Frechet 空間と言う。