Definition:Closed Linear Subspace

Definition
A linear subspace that is closed is called a closed linear subspace.