Preorder
- This article is about the mathematics concept. For preorder traversal of a tree data structure, see tree traversal.
In mathematics, especially in order theory, preorders are certain kinds of binary relations that are closely related to partially ordered sets. The name quasiorder is also a common expression for preorders. Many order theoretical definitions for partially ordered sets can be generalized to preorders, but the extra effort of generalization is rarely needed. Yet there are application fields, such as the definition of convergence via nets in topology, where preorders cannot be replaced by partially ordered sets without losing important features.
Formal definition
Consider some set P and a binary relation ≤ on P. Then ≤ is a preorder, or quasiorder, if it is reflexive and transitive, i.e., for all a, b and c in P, we have that:
- a ≤ a (reflexivity)
- if a ≤ b and b ≤ c then a ≤ c (transitivity)
A set that is equipped with a preorder is called a preordered set. If a preorder is also antisymmetric, that is, a ≤ b and b ≤ a implies a = b, then it is a partial order.
A partial order can be constructed from any preorder by identifying "equal" points. Formally, one defines an equivalence relation ~ over X such that a ~ b iff a ≤ b and b ≤ a. Now the quotient set X / ~, i.e. the set of all equivalence classes of ~, can easily be ordered by defining [x] ≤ [y] iff x ≤ y. By the construction of ~ this definition is independent from the chosen representatives and the corresponding relation is indeed well-defined. It is readily verified that this yields a partially ordered set.
See also
