Definition:Limit Point/Filter

From ProofWiki
Jump to navigation Jump to search


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

Let $\FF$ be a filter on $S$.

A point $x \in S$ is called a limit point of $\FF$ if and only if $\FF$ is finer than the neighborhood filter of $x$.

Also see

  • Results about filters can be found here.