 FACTOID # 22: South Dakota has the highest employment ratio in America, but the lowest median earnings of full-time male employees.

 Home Encyclopedia Statistics States A-Z Flags Maps FAQ About

 WHAT'S NEW

SEARCH ALL

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Transitive relation

In mathematics, a binary relation R over a set X is transitive if it holds for all a, b, and c in X, that if a is related to b and b is related to c, then a is related to c. Euclid, a famous Greek mathematician known as the father of geometry, is shown here in detail from The School of Athens by Raphael. ... In mathematics, the concept of binary relation, sometimes called dyadic relation, is exemplified by such ideas as is greater than and is equal to in arithmetic, or is congruent to in geometry, or is an element of or is a subset of in set theory. ... In mathematics, a set can be thought of as any collection of distinct things considered as a whole. ...

In mathematical notation, this is: Mathematical notation is used in mathematics, and throughout the physical sciences, engineering, and economics. ... $forall a, b, c in X, a ,R, b and b ,R, c ; Rightarrow a ,R, c$

## Contents

Unlike other relation properties, it is not possible to find a general formula that counts the number of transitive relations on a finite set. However, there is a formula for finding the number of relations which are simultaneously reflexive, symmetric, and transitive

## Examples

For example, "is greater than" and "is equal to" are transitive relations: if a = b and b = c, then a = c.

On the other hand, "is the mother of" is not a transitive relation, because if Alice is the mother of Brenda, and Brenda is the mother of Claire, then Alice is not the mother of Claire.

Examples of transitive relations include:

In mathematics, two mathematical objects are considered equal if they are precisely the same in every way. ... A is a subset of B, and B is a superset of A. In mathematics, especially in set theory, a set A is a subset of a set B, if A is contained inside B. The relationship of one set being a subset of another is called inclusion. ... A is a subset of B, and B is a superset of A. In mathematics, especially in set theory, a set A is a subset of a set B, if A is contained inside B. The relationship of one set being a subset of another is called inclusion. ... The feasible regions of linear programming are defined by a set of inequalities. ... In mathematics, a divisor of an integer n, also called a factor of n, is an integer which evenly divides n without leaving a remainder. ... In logic, material implication is a binary operator. ...

## Other properties that require transitivity

In mathematics, the transitive closure of a binary relation R on a set X is the smallest transitive relation on X that contains R. For any relation R the transitive closure of R always exists. ... In mathematics, the transitive reduction of a binary relation R on a set X is the smallest relation on X such that that the transitive closure of is the same as the transitive closure of R. If the transitive closure of R is antisymmetric and finite, then is unique. ... Intransitivity is a scenario in which weighing several options produces a loop of preference. ... In set theory, a binary relation can have, among other properties, reflexivity or irreflexivity. ... In mathematics, a binary relation R over a set X is symmetric if it holds for all a and b in X that if a is related to b then b is related to a. ... Results from FactBites:

 Transitive Closure on the Instruction Systolic Array (3699 words) Furthermore, a generalization of the transitive closure algorithm is implemented to solve other path problems, such as the shortest path problem. The transitive closure problem may be generalized to the algebraic path problem. The problem of computing the transitive closure of a graph may be viewed as a special case of the algebraic path problem.
 Transitive relation - Wikipedia, the free encyclopedia (254 words) In mathematics, a binary relation R over a set X is transitive if it holds for all a, b, and c in X, that if a is related to b and b is related to c, then a is related to c. Unlike other relation properties, it is not possible to find a general formula that counts the number of transitive relations on a finite set. equivalence relation - a relation that is a preorder and symmetric.
More results at FactBites »

Share your thoughts, questions and commentary here
Press Releases | Feeds | Contact