Si tal relación es también transitiva, es un orden total estricto; este es un caso especial de un preorden total débil.