Template:Closed subspace-closed