preorder
preorder
English Definitions:
preorder (Noun)
A binary relation that is reflexive and transitive.
preorder (Verb)
To order (goods) in advance, before they are available.
preorder (Adjective)
Of a tree traversal, recursively visiting the root before the left and right subtrees.
Preorder
In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. All partial orders and equivalence relations are preorders, but preorders are more general. The name 'preorder' comes from the idea that preorders are 'almost' orders, but not quite; they're neither anti-symmetric nor symmetric. Because a preorder is a binary relation, the symbol ≤ can be used as the notational device for the relation. However, because they are not anti-symmetric, some of the ordinary intuition associated to the symbol ≤ may not apply. On the other hand, a pre-order can be used, in a straightforward fashion, to define a partial order and an equivalence relation. Doing so, however, is not always useful or worthwhile, depending on the problem domain being studied. In words, when a ≤ b, one may say that b covers a or that b precedes a, or that b reduces to a. Occasionally, the notation ← or is used instead of ≤. To every preorder, there corresponds a directed graph, with elements of the set corresponding to vertices, and the order relation between pairs of elements corresponding to the directed edges between vertices. The converse is not true: most directed graphs are neither reflexive nor transitive. Note that, in general, the corresponding graphs may be cyclic graphs: preorders may have cycles in them. A preorder that is antisymmetric no longer has cycles; it is a partial order, and corresponds to a directed acyclic graph. A preorder that is symmetric is an equivalence relation; it can be thought of as having lost the direction markers on the edges of the graph. In general, a preorder may have many disconnected components.
Preorder
In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. Preorders are more general than equivalence relations and (non-strict) partial orders, both of which are special cases of a preorder: an antisymmetric (or skeletal) preorder is a partial order, and a symmetric preorder is an equivalence relation. The name preorder comes from the idea that preorders (that are not partial orders) are 'almost' (partial) orders, but not quite; they are neither necessarily antisymmetric nor asymmetric. Because a preorder is a binary relation, the symbol ≤ {\displaystyle \,\leq \,} can be used as the notational device for the relation. However, because they are not necessarily antisymmetric, some of the ordinary intuition associated to the symbol ≤ {\displaystyle \,\leq \,} may not apply. On the other hand, a preorder can be used, in a straightforward fashion, to define a partial order and an equivalence relation. Doing so, however, is not always useful or worthwhile, depending on the problem domain being studied. In words, when a ≤ b , {\displaystyle a\leq b,} one may say that b covers a or that a precedes b, or that b reduces to a. Occasionally, the notation ← or → or ≲ {\displaystyle \,\lesssim \,} is used instead of ≤ . {\displaystyle \,\leq .} To every preorder, there corresponds a directed graph, with elements of the set corresponding to vertices, and the order relation between pairs of elements corresponding to the directed edges between vertices. The converse is not true: most directed graphs are neither reflexive nor transitive. In general, the corresponding graphs may contain cycles. A preorder that is antisymmetric no longer has cycles; it is a partial order, and corresponds to a directed acyclic graph. A preorder that is symmetric is an equivalence relation; it can be thought of as having lost the direction markers on the edges of the graph. In general, a preorder's corresponding directed graph may have many disconnected components.
Citation
Use the citation below to add this dictionary page to your bibliography:
Style:MLAChicagoAPA
"preorder." Kamus.net. STANDS4 LLC, 2024. Web. 29 Apr. 2024. <https://www.kamus.net/english/preorder>.
Discuss this bahasa indonesia preorder translation with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In