1: \begin{definition}

2: \index{ultrafilter!topological structure}

3:  We turn $\Ultrafilters{ X}$ into topological space by declaring the family $\{ \bar{A} \setsep A \in \cP(X) \}$ to be the base of the topology. By Theorem \ref{thm:topology-base-characterisation} and Proposition \ref{lem:properties-of-bar}, this indeed defines a topology.

4: \end{definition}

5: