Éste es un preorden; es un orden parcial si y solamente si el espacio "X" es T, y trivial (un orden chato) si y solamente si es un espacio T.