Espacio LF (Límite Inductivo de Espacios de Fréchet)

Un espacio vectorial topológico presentado como un límite inductivo estricto y contable de espacios de Fréchet: lleva la topología localmente convexa más fina que hace continuas todas las inclusiones desde la sucesión de etapas de Fréchet, y el límite es estricto cuando cada inclusión es un incrustación topológica (inyectiva con la imagen llevando la topología de subespacio).