El espacio Arens-Fort es el espacio topológico donde está el conjunto de pares ordenados de enteros no negativos . Un subconjunto es abierto , es decir, pertenece a si y sólo si:
no contiene o
contiene y también todos menos un número finito de puntos de todas menos un número finito de columnas, donde una columna es un conjunto con fijo.
En otras palabras, a un conjunto abierto sólo se le "permite" contener si sólo un número finito de sus columnas contienen espacios significativos, donde un espacio en una columna es significativo si omite un número infinito de puntos.