| • Science | • People | • Locations | • Timeline |
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.
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 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 classIn mathematics, given a set X and an equivalence relation ~ on X the equivalence class of an element a in X is the subset of all elements in X which are equivalent to a :[a] { x in X | x ~ a } The notion of equivalence classes is useful for constructing ses 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-definedIn mathematics, the term well-defined is used to specify that a certain concept (a function, a property, a relation, etc. is defined in a mathematical or logical way using a set of base axioms in an entirely unambiguous way. The concept of well-definednes. It is readily verified that this yields a partially ordered set.