Topological Vector Spaces/Elementary constructions