John: a discrete preorder on \$$X\$$ is formed when the only elements related by \$$\leq\$$ are equal to each other. That is \$$x \leq y\$$ if and only if \$$x = y\$$.

(page 11 for anyone wanting to see more, sets are noted there as examples of discrete preorders)