Ejemplo 4.2
Sobre el conjunto

se considera la relación
Es evidente a simple vista que

no es transitiva,
pero lo podemos comprobar mediante la matriz asociada
Efectivamente
y se ve fácilmente que la implicación

es falsa (por ejemplo) en la posición

, donde en

hay 1 y en

hay 0.