Meanings (ES + gloss)
preorden
A binary relation that is reflexive and transitive.
Example 436 For each set A, the relation #92;subseteq is a preorder on #92;mathcal#123;P#125;(A).
The relation of logical implication over sentences is an example of a preorder.
Word forms