En Teoría del Orden, una relación binaria R se llama preorden total sobre un conjunto X si con las siguientes propiedades: