Fréchet space
フレシェ空間の構成にあたって、ベクトル空間 "X" と "X" 上の半ノルム族 ǁ ⋅ ǁ"k" で以下の二性質を満たすものから始めるのが典型的である。