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