Espaço de Arens-Fort
Definição:
O espaço topológico de Arens-Fort é o conjunto $\mathbb{Z^2_+}$ munido de uma topologia $\tau$ de modo que cada par ordenado com exceção da origem é um aberto. E dada uma vizinhança $V$ aberta da origem, o conjunto $Y_m= \{n |(m,n) \notin V \} $, com $m \in \mathbb{Z_+}$ fixo, é finito a menos para um número finito de valores de $m$. Ou seja, uma vizinhança aberta da origem, não contém apenas um número finito de colunas de $\mathbb{Z^2_+}$. Onde uma coluna é dada por $C_m=\{(m,n)|n \in \mathbb{Z_+}\}$ com $m \in \mathbb{Z_+}$ fixo.
Axiomas de Separação: