Definition from Wiktionary, the free dictionary
preorder (plural preorders)
- (set theory) A binary relation that is reflexive and transitive.
- The relation of logical implication over sentences is an example of a preorder.
Related terms 
preorder (not comparable)
- (computing theory) Of a tree traversal, recursively visiting the root before the left and right subtrees.