Si un preorden cumple también la propiedad simetrica para todo "a", "b" de "P", si "a R b" entonces "b R a", "(P, R)" es una relación de equivalencia