Una relación binaria tiene la propiedad intransitiva cuando, dado los elementos a, b, c del conjunto, si a está relacionado con b y b está relacionado con c, entonces a no está relacionado con c: