Transitivo lei, em matemática e lógica, qualquer afirmação do tipo “Se aRb e bRc, em seguida, aRc”, onde “R” é uma relação particular (por exemplo, “…é igual…”), a, b, c são variáveis (termos que podem ser substituídos por objetos), e o resultado da substituição de um, b, e c com objetos é sempre uma verdadeira sentença. Um exemplo de uma lei transitiva é “se a é igual a b e b é igual a c, então a é igual a C.” existem leis transitivas para algumas relações, mas não para outras. Uma relação transitiva é aquele que possui entre um e c se ele também contém entre a e b e entre b e c para qualquer substituição de objetos para a, b, e c. Assim, “…é igual a…” é como uma relação, como “…é maior do que…” e “…é menos do que…”

Existem dois tipos de relação para a qual não existem transitiva leis: intransitivos e de relações intransitivas relações. Uma relação intransitiva é aquela que não se mantém entre a e c se também se mantém entre a e b e entre b E c para qualquer substituição de objetos para a, b E C. Assim,”… é a filha (biológica) de … ” é intransitiva, porque se Maria é a filha de Jane e Jane é a filha de Alice, Maria não pode ser a filha de Alice. Da mesma forma, “…é a praça de…”Uma relação intransitiva é aquele que pode ou não conter entre a e c, se prende também entre a e b e entre b e c, dependendo dos objetos substituído por a, b, e c. Em outras palavras, há pelo menos uma substituição em que a relação entre a e c sem soltar, e pelo menos uma substituição no qual ele não. As relações “…ama … ” e “… não é igual a … ” são exemplos.