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