Category:Hausdorff Topological Vector Spaces