Neighborhood Sub-Basis Criterion for Filter Convergence

Theorem
Let $\left({X, \tau}\right)$ be a topological space.

Let $\mathcal F$ be a filter on $X$.

Let $p \in X$.

Let $S_p \subseteq \tau$.

Suppose that for each neighborhood $N$ of $p$, there is a finite $T_N \subseteq S_x$ such that:
 * $x \in \bigcap T_N \subseteq N$.

Then if $S_p \subseteq \mathcal F$, $\mathcal F$ converges to $p$.

Proof
Let $N$ be a neighborhood of $p$.