Si un preorden cumple también la propiedad antisimétrica, es decir, "a R b" y "b R a" implica "a" = "b", entonces "(P, R)" es un orden parcial.