Que cumple las propiedades: reflexiva, antisimetrica, transitiva y total, por lo que se define en el conjunto, respecto a la relación binaria, un orden total.