Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business Industries Finance Tax

Home > 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.

In notation, this is:

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:

A transitive relation that is also reflexive is a preorder. A preorder that is antisymmetric is a partial order. A preorder that is symmetric, is an equivalence relation.

See also transitive closure, Intransitivity

Set theorySet theory is the mathematical theory of sets, which represent collections of abstract objects. It has a central role in modern mathematical theory, providing the basic language in which most of mathematics is expressed. For more information on set theory



Non User