Espace LF (Limite Inductive de Fréchet)

Un espace vectoriel topologique présenté comme une limite inductive stricte dénombrable d'espaces de Fréchet : il porte la topologie localement convexe la plus fine rendant continues toutes les applications d'inclusion des étapes de Fréchet, et la limite est stricte lorsque chaque inclusion est un plongement topologique (injections dont l'image porte la topologie de sous-espace).