Adicionalmente, una topología con orden de especialización ≤ puede ser orden consistente, significando que sus conjuntos abiertos son "inaccesibles por supremos dirigidos" (con respecto ≤).