orden total

En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva, antisimétrica, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera a, b, y c en X:

• si a pertenece a X, entonces a ≤ a (reflexiva).
• Si a ≤ b y b ≤ c, entonces a ≤ c (transitividad).
• Si a ≤ b y b ≤ a, entonces a = b (antisimetría).
• a ≤ b o b ≤ a (totalidad o completitud).