- preorder relation
- мат. отношение предпорядка
Большой англо-русский и русско-английский словарь. 2001.
preorder relation
Смотреть что такое "preorder relation" в других словарях:
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
Preorder — In mathematics, especially in order theory, preorders are binary relations that satisfy certain conditions. For example, all partial orders and equivalence relations are preorders. The name quasiorder is also common for preorders. Other notations … Wikipedia
Preorder (disambiguation) — The term preorder has several meanings:In mathematics: *Preorder, a binary relation with certain properties *Preorder tree traversal; see Tree traversal *Preordering of a graph; see Depth first searchIn marketing: *Pre order … Wikipedia
preorder — 1. verb To order (goods) in advance, before they are available. 2. noun A binary relation that is reflexive and transitive. The relation of logical implication over sentences is an example … Wiktionary
Binary relation — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… … Wikipedia
Transitive relation — In mathematics, a binary relation R over a set X is transitive if whenever an element a is related to an element b , and b is in turn related to an element c , then a is also related to c . Transitivity is a key property of both partial order… … Wikipedia
Simulation preorder — In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way in the sense that one system simulates the other.Intuitively, a system simulates another system… … Wikipedia
Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… … Wikipedia
Reflexive relation — In mathematics, a reflexive relation is a binary relation on a set for which every element is related to itself, i.e., a relation on S where x x holds true for every x in S.[1] For example, could be is equal to . Contents 1 Related terms 2… … Wikipedia
Inverse relation — In mathematics, the inverse relation of a binary relation is the relation that occurs when you switch the order of the elements in the relation. For example, the inverse of the relation child of is the relation parent of . In formal… … Wikipedia
Total relation — In mathematics, a binary relation R over a set X is total if for all a and b in X, a is related to b or b is related to a (or both). In mathematical notation, this is Total relations are sometimes said to have comparability. Examples For example … Wikipedia
