Theorem - Let $V$ be a topological vector space over $\mathbb{R}$ or $\mathbb{C}$ . Then $V$ is locally convex if and only if the topology of $V$ is generated by a family of seminorms.

Moreover, $V$ is Hausdorff and locally convex if and only if the topology of $V$ is generated by a separating family of seminorms.