Semiorders are known to obey the 1 / 3 2 / 3 conjecture : in any finite semiorder that is not a total order, there exists a pair of elements " x " and " y " such that " x " appears earlier than " y " in between 1 / 3 and 2 / 3 of the linear extensions of the semiorder.
