Preorden total

En Teoría del Orden, una relación binaria R se llama preorden total sobre un conjunto X si con las siguientes propiedades: En Teoría de Elección Social podemos decir el orden de preferencias es un preorden total.

Supongamos que tenemos cuatro candidatos a, b, c y d. Puede ocurrir que: Es fácil verificar que

≲

{\displaystyle \lesssim }

es un preorden total.