Fréchet space
フレシェ空間に対して局所凸という条件を落とせば、F空間が得られる（これはつまり、平行移動不変で完備な距離を持つベクトル空間である）。