Definition:Closed Linear Subspace

Definition
Let $V$ be a topological vector space.

A linear subspace of $V$ that is closed is called a closed linear subspace.