Definition:Hausdorff Locally Convex Space