Relación transitiva

Esto es: Dado el conjunto A y una relación R, esta relación es transitiva si: a R b y b R c se cumple a R c. La propiedad anterior se conoce como transitividad.

Así por ejemplo dado el conjunto N de los números naturales y la relación de orden "menor o igual que" vemos que es transitiva: Así, puesto que: En general las relaciones de orden (ser menor, mayor, igual, menor o igual, mayor o igual) son transitivas.

Sin embargo, no todas las relaciones binarias son transitivas.

Una relación binaria se puede representar como pares ordenados, mediante una matriz de adyacencia o mediante un grafo.

Para el caso de una relación transitiva, cada una de estas representaciones tiene características especiales: Propiedades de la relación binaria homogénea: Conceptos relacionados: