El espacio de Arens-Fort es el espacio topológico donde es el conjunto de pares ordenados de números enteros no negativos Un subconjunto es abierto , es decir, pertenece a si y solo 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 fijos.
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.