1: \begin{definition}[Locally convex space]

2: 	\label{Def:LCSpace}

3: 	A locally convex space is a topological vector space in which one (and 

4: 	thus all) of the properties from Theorem \ref{Thm:LCAna:LCSpace} are 

5: 	fulfilled.

6: \end{definition}

7: