Legea tranzitivă, în matematică și logică, orice afirmație a formei „dacă aRb și bRc, atunci aRc”, unde „R” este o relație particulară (de exemplu, „…este egal cu…”), a, b, c sunt variabile (termeni care pot fi înlocuiți cu obiecte), iar rezultatul înlocuirii a, b și c cu obiecte este întotdeauna o propoziție adevărată. Un exemplu de lege tranzitivă este „dacă a este egal cu b și b este egal cu c, atunci a este egal cu c.” există legi tranzitive pentru unele relații, dar nu pentru altele. O relație tranzitivă este una care se menține între a și c dacă se menține și între a și b și între b și c pentru orice înlocuire a obiectelor cu a, b și c. astfel, „…este egal cu…” este o astfel de relație, așa cum este „…este mai mare decât…” și „…este mai mică decât…”

există două tipuri de relații pentru care nu există legi tranzitive: relații intransitive și Relații nontransitive. O relație intransitivă este una care nu se menține între a și c dacă se menține și între a și b și între b și c pentru orice înlocuire a obiectelor cu a, b și C. Astfel,”… este fiica (biologică) a lui … ” este intransitivă, pentru că dacă Maria este fiica lui Jane și Jane este fiica lui Alice, Maria nu poate fi fiica lui Alice. De asemenea,”…este pătratul lui … ” o relație nontransitivă este una care poate sau nu să se mențină între a și c dacă se menține și între a și b și între b și c, în funcție de obiectele înlocuite cu A, b și c. cu alte cuvinte, există cel puțin o substituție pe care se menține relația dintre a și c și cel puțin o substituție pe care nu se menține. Relațiile”… iubește … ” și „… nu este egal cu … ” sunt exemple.