Entonces "R" es un preorden, o un cuasiorden, si es reflexiva y transitiva, es decir, para todo "a", "b" y "c" en "P", tenemos que: