Ontify
Topological vector space that is a locally convex inductive limit of a countable inductive system of Fréchet spaces.