A local base at a point 
in a topological vector
space 
is any set 
for which each element 
includes some member of 
, where 
denotes all neighborhoods
of 
in 
.
A local base at a point 
is sometimes called a local base of neighborhoods
at that point.
