Fréchet space
LF-空間とは、局所凸空間 "E" であって、以下の性質を持つフレシェ空間の列 ("E""n") を持つものを言う。