Relación transitiva

Carta Común · N.º 252096

Una relación binaria R {\displaystyle R} sobre un conjunto A {\displaystyle A} es transitiva​​ 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: ∀ a , b , c ∈ A : a R b ∧ b R c ⟶ a R c {\displaystyle \forall a,b,c\in A:\quad aRb\quad \land \quad bRc\longrightarrow \quad aRc} 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.

Leer en Wikipedia · Imagen German. Las manzanas fueron copiadas de Commutative Addition.svg, Public domain