preorder

(noun, adjective, verb)

adjective

1. (computing theory) Of a tree traversal, recursively visiting the root before the left and right subtrees.

noun

1. (set theory) A binary relation that is reflexive and transitive.

- The relation of logical implication over sentences is an example of a preorder.

verb

1. (transitive) To order (goods) in advance, before they are available.