preorder

(redirected from Quasi order)

preorder

(priːˈɔːdə)
vb (tr)
(Commerce) to order something in advance of it being available
Translations
References in periodicals archive ?
The intersection [[less than or equal to].sub.u] of the elements of U forms a reflexive transitive relation on X that is a quasi order. We also denote by U the equivalence relation on X associated with the quasi order [[less than or equal to].sub.u] and given by x [[??].sub.u] y if and only if x [[less than or equal to].sub.u]y and y [[less than or equal to].sub.u]x.
Note that [Mathematical Expression Omitted] is a quasi order on the set of characteristic trees and that [Mathematical Expression Omitted] is equivalent to saying that [[Tau].sub.2] can be obtained from [[Tau].sub.1] by attaching subtrees to the leaves of [[Tau].sub.1].
A well-quasi relation [Mathematical Expression Omitted] is also called a well-quasi order (WQO) on V if it is a quasi order.