O espaço de Arens-Fort é separável e não admite base enumerável. Portanto, não é metrizável.