Definition:Neighborhood Filter/Set

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $A \subseteq S$ such that $A \ne \O$.

Let $\NN_A$ be the set of all neighborhoods of $A$.


Then $\NN_A$ is the neighborhood filter of $A$.


Sources