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":