1. discrete preorder A preorder is said to be discrete if any two of its elements are incomparable.
discrete preorder |