From Encyclopediaofmath total set of functionals
A set $\Gamma$ of continuous linear functionals $f(x)$, defined on a linear topological space $X$, such that there is no element $x\in X$, $x\neq0$, on which the equality $f(x)=0$ is satisfied for all $f\in\Gamma$. Every locally convex space has a complete set of functionals.