The first point is to describe vector spaces with topologies arising from (separating) families of semi-norms. These all turn out to be locally convex, for straightforward reasons. The second point is to check that any locally convex topological vectorspace's topology can be given by a collection of seminorms. These seminorms are made in a natural way from a local basis consisting of balanced c...