Definition:Topological Vector Space

Definition
Let $V$ be a vector space over a topological field $K$.

Let $\tau$ be a topology on $V$.

Then $\struct {V, \tau}$ is called a topological vector space :