Category:Definitions/Hausdorff Topological Vector Spaces