Preorden total
De Wikipedia, la enciclopedia libre
En teoría del orden, un preorden total sobre un conjunto X es un preorden ≤ sobre X que es total; es decir, que para cada par de elementos a y b en X, se cumple a ≤ b o bien b ≤ a.
La diferencia entre un preorden total y un orden total es que un preorden total (por ser preorden) no tiene que ser antisimétrica.
Por ejemplo (X, ≤) para X = {1, 2} y a ≤ b para todo a y b en X.