Definition 4.2.12 (Accumulation Point). Let $X$ be a topological space, $\fF \subset 2^{X}$ be a filter with base $\fB$, and $x \in X$, then the following are equivalent:
$x \in \bigcap_{E \in \fB}\overline{E}$.
$x \in \bigcap_{E \in \fF}\overline{E}$.
There exists a fundamental system of neighbourhoods $\cb(x) \subset \cn(x)$ such that for every $E \in \cb$ and $f \in \fB$, $E \cap F \ne \emptyset$.
There exists a filter $\fU \supset \fB$ that converges to $x$.
If the above holds, then $x$ is a cluster/accumulation point of $\fB$. In particular, if $\fF$ is an ultra filter, then (6) implies that the limit points and cluster points of $\fF$ coincide.
Proof. (1) $\Rightarrow$ (3): Let $U \in \cn(x)$, then $U \cap E \ne \emptyset$ for all $E \in \fB$.
(3) $\Rightarrow$ (4): By Lemma 4.2.8, there exists a filter $\fU \supset \cb(x) \cup \fB$. Since $\cb(x)$ and $\fB$ are bases for $\cn(x)$ and $\fF$, respectively, $\fU \supset \cn(x) \cup \fF$.
(4) $\Rightarrow$ (1): Let $U \in \cn(x)$, then since $\fU \supset \fB \cup \cn(x)$, $U \cap E \ne \emptyset$ for all $E \in \fB \subset \fF \subset \fU$. Thus $x \in \bigcap_{E \in \fF}\ol{E}$.$\square$