semiorder (order + semi-; half_partial)
A type of order that is not wholly comparable