Strict inductive limit topology
= Strict inductive limit topology
A strict inductive limit topology on an increasing union $E=\bigcup_nE_n$ is the finest locally convex topology compatible with the inclusions of the stages $E_n$. A linear map from $E$ is continuous exactly when each restriction to $E_n$ is continuous.