a vector space together with a family of seminorms
This induces a norm.
Makes the Gateaux derivative possible, which is possibly non-linear and more general than the Frechet derivative
Wikipedia: Locally convext topological v ector space Gateaux derivative
Vector space
Seminorm