Un orden definido para todos los pares de los elementos de un conjunto. Por ejemplo, ≤ (menor o igual que) es un orden total en números enteros, es decir, para dos enteros cualquiera, uno de ellos es menor o igual al otro. Definición formal: el orden total es una relación que es antisimétrica, transitiva, reflexiva y total.