 Closed vector subspace

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.