Definition:Neighborhood Basis

Definition
Let $\struct {S, \tau}$ be a topological space.

Let $x \in S$.

Let $\BB$ be a set of neighborhoods of $x$.

Then $\BB$ is a neighborhood basis at $x$ :
 * For each neighborhood $N$ of $x$, there is an $M \in \BB$ such that $M \subseteq N$.

Also defined as
Some sources require the elements of a neighborhood basis to be open.

On, such a structure is referred to as a local basis.

Also known as
Some sources call this a local basis, but on, that term is reserved for a stronger notion.

Also see

 * Definition:Neighborhood Sub-Basis
 * Local Basis Generated from Neighborhood Basis