This is an old revision of the document!
a vector space together with a family of seminorms
This induces a norm.
Makes Gateaux derivatives possible.
Wikipedia: Locally convext topological v ector space Gateaux derivative
Vector space
Seminorm