LF-Space

A topological vector space presented as a strict countable inductive limit of Fréchet spaces: it carries the finest locally convex topology making all inclusion maps from the sequence of Fréchet steps continuous, and the limit is strict when each inclusion is topologically embedded (maps are injective with images carrying the subspace topology).