Relación intransitiva
# Relación intransitiva

Una relación binaria $R$ sobre un conjunto $A$ es intransitiva cuando se cumple siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero no se relaciona con el tercero.

Esto es:

    $\forall a,b,c\in A\;:\quad a{\mathcal {R}}b\quad \land \quad b{\mathcal {R}}c\;\longrightarrow \;a{\cancel {\mathcal {R}}}c$

Dado el conjunto A y una relación R, esta relación es intransitiva si: $a{\mathcal {R}}b$ y $b{\mathcal {R}}c$ se cumple que $a{\cancel {\mathcal {R}}}c$.

La propiedad anterior se conoce como intransitividad.

## Ejemplos

Dadas las rectas del plano y la relación binaria perpendicularidad: $\vdash$, entre rectas, que se cumple cuando dos rectas son perpendiculares y no se cumple si no lo son, tenemos que siendo r, s y t rectas del plano P:

    $\forall r,s,t\in P\;:\quad r\;\vdash \;s\quad \land \quad s\;\vdash \;t\;\longrightarrow \;r\;\nvdash \;t$

Si la recta r es perpendicular a s y s es perpendicular a t, entonces r no es perpendicular a t.

