Relación transitiva
De Wikipedia, la enciclopedia encyclopedia
Una relación binaria sobre un conjunto es transitiva[1][2] cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.
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.