Sea formula_14 un conjunto dado, formula_15 es una relación de orden total si y solo si todos los elementos de formula_14 se relacionan entre sí, es decir,