Closed vector subspace
= Closed vector subspace
{wiki=Linear_subspace#Topological_vector_spaces}
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.