Nótese que la condición de "totalidad" implica reflexividad, esto es, "a" ≤ "a" para todo "a" ∈ "X"; por lo tanto, un orden total es también un orden parcial, esto es, una relación binaria reflexiva, antisimétrica, y transitiva.