<mathematics> A preorder is said to be discrete if any two of its elements are incomparable.
(21 Sep 1995)