stereotype space

topological vector space such that the natural map into the second dual space is an isomorphism of topological vector spaces