transitiivinen laki, matematiikassa ja logiikassa mikä tahansa lauseke muodossa ”jos aRb ja bRc, sitten aRc”, jossa ”R” on tietty relaatio (esim. ”…on yhtä kuin…”), a, b, c ovat muuttujia (termejä, jotka voidaan korvata olioilla), ja tulos a: n, b: n ja c: n korvaamisesta olioilla on aina tosi lause. Esimerkki transitiivisesta laista on ”Jos a on yhtä suuri kuin b ja b on yhtä suuri kuin c, niin A on yhtä suuri kuin c.” on olemassa transitiivisia lakeja joillekin relaatioille, mutta ei toisille. Transitiivirelaatio on sellainen, joka pätee a: n ja c: n välillä, jos se pätee myös A: n ja b: n välillä ja B: n ja c: n välillä, Jos A: n, b: n ja C: n substituutioiden välillä. näin ollen ”…on yhtä suuri kuin…” on tällainen relaatio, kuten on ”…on suurempi kuin…” ja ”…on pienempi kuin…”

on olemassa kahdenlaisia relaatioita, joille ei ole transitiivisia lakeja: intransitiiviset suhteet ja ei-transitiiviset suhteet. Intransitiivinen relaatio on sellainen, joka ei pidä paikkaansa a: n ja c: n välillä, jos se pätee myös A: n ja b: n välillä ja B: n ja c: n välillä, Jos A: n, b: n ja C: n kappaleiden substituutio on sama. Näin ollen”… on (biologinen) tytär … ” on intransitiivinen, koska jos Mary on Janen tytär ja Jane on Alicen tytär, Mary ei voi olla Alicen tytär. Samoin”…on neliö … ” ei-transitiivinen relaatio on sellainen, joka voi tai ei pidä a: n ja c: n välillä, jos sillä on myös A: n ja b: n välillä ja B: n ja c: n välillä, riippuen A: n, b: n ja C: n substituoiduista kappaleista. toisin sanoen on olemassa ainakin yksi substituutio, jolla A: n ja c: n välinen suhde pitää, ja ainakin yksi substituutio, jolla se ei ole. Suhteet ”…rakastaa…” ja ”… ei ole tasavertainen …” ovat esimerkkejä.