Hausdorff locally convex linear topological space
separating family of continuous seminorms
scientific article; zbMATH DE number 1361453