Let 
be a topological
vector space and for an arbitrary point 
, denote by 
the collection of all neighborhoods
of 
in 
. A local base at 
is any set 
for which each element 
includes some member of 
.
A local base at a point 
is sometimes called a local base of neighborhoods at that point.
