Lo que a su vez significa (por el teorema de inmersión de Henkin) que preorden es el lenguaje de primer "orden" (en sentido lógico) de la topología (pero esto significa: la topología no es de primer "orden" (en sentido lógico)).