Definition ($betaN$). The set of ultrafilters on $\mathbb{N}$ is called $\beta \mathbb{N}$. We define a topology on $\beta \mathbb{N}$ as the one induced by the following base of open sets