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