\begin{definition}[Definition:Limit Point/Filter]
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$''' {{iff}} $\FF$ is finer than the neighborhood filter of $x$.
\end{definition}