Conjunto preordenado

Un conjunto preordenado (también a veces conocido como relación de cuasiorden) es un conjunto que tiene las propiedades reflexiva y transitiva.

$$ a \Re a $$ $$ \{ a \Re b \wedge b \Re c \} \rightarrow a \Re c $$ $$ \forall \{ a , b ,c \} \in A $$