It can easily be seen that the resulting topological vector space is "locally convex" in the sense of the "first" definition given above because each is absolutely convex and absorbent (and because the latter properties are preserved by translations).