Transitividad (matemáticas)
De Wikipedia, la enciclopedia libre
En matemáticas se dice que una relación binaria R sobre un conjunto X es transitiva si establece que para todo a, b, y c en X, tal que a está relacionada con b, y b está relacionada con c, entonces a está relacionada con c.
En notación matemática, esto es: