LF-Raum (Induktive Grenze von Fréchet-Räumen)

Ein topologischer Vektorraum, dargestellt als strikte abzählbare induktive Grenze von Fréchet-Räumen: Er trägt die feinste lokal konvexe Topologie, die alle Inklusionsabbildungen der Folge stetig macht; die Grenze ist strikt, wenn jede Inklusion topologisch eingebettet ist (injektiv mit dem Teilraumtopologiebild).