(pre)orden de especialización

En matemáticas, dado cualquier espacio topológico X, el preorden de especialización se define por aquí c(.)

cualquier función continua entre dos espacios topológicos debe ser, para los respectivos preórdenes de especialización, monótona, el inverso es, por supuesto, falso en general.

Pero debe verse la topología de Alexandrov.

Debe tenerse en cuenta que este orden es exactamente Scott-compatible opuesto del usado generalmente en la teoría de anillos, que sigue, incorrectamente, la inclusión conjuntista de ideales.

Es incorrecto porque, los ideales son conjuntos cero, debemos seguir el orden de las funciones características.