El orden total estricto tiene las siguientes propiedades, para cualesquiera "a", "b", y "c" en "X":