Definition:Limit Point/Filter

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources