Closed vector subspace
= Closed vector subspace
= Closed linear subspace
{synonym}
A closed vector subspace of a <topological vector space> is both a <vector subspace> and a <closed set>. The kernel of a <continuous linear map> is a closed vector subspace.