====Espaço de Arens-Fort====
\\
===Definição:===
\\ 
O [[topologia:espacotopologico| 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: ===
  *[[arensfortTO| Satisfaz $T_{0}$ (Kolmogorov);]]
  *[[arensfortT1| Satisfaz $T_{1}$ (Fréchet);]]
  *[[arensfortT2| Satisfaz $T_{2}$ (Hausdorff);]]
  *[[arensfortT3| Satisfaz $T_{3}$ e é regular;]]
  *[[arensfortT3^1/2| Satisfaz $T_{3 \frac{1}{2}}$ (Tychonoff);]]
  *[[arensfortT4| Satisfaz $T_{4}$ e é normal.]]
\\
===Axiomas de Enumerabilidade:===
  * [[arensfortbaselocalenum| Não possui base local enumerável]];
  * [[arensfortbaseenumeravel| Não possui base enumerável]];
  * [[arensfortseparavel|É separável]].

===Propriedades de cobertura:===
  * [[arensfortlocalmentecompacto| Não é localmente compacto]];
  * [[arensfortcompacto| Não é compacto]].
\\
===Propriedades de conexidade:===
  * [[arensfortconexo|Não é conexo]];
  * [[arensfortconexoporcaminhos|Não é conexo por caminhos]];
  * [[arensfortlocalconexo|Não é localmente conexo]].
\\
===Outras propriedades:===
  * [[arensfortmetrizável| Não é metrizável]];
  * [[arensfortcompmetrizável| Não é completamente metrizável]];
  * [[arensfrecheturysohn|Não é Fréchet-Urysohn]];
  * [[arensfort0dim|É zero-dimensional]];