mathematics A preorder is said to be discrete if any two

of its elements are incomparable.