Tranzitivní zákon, v matematice a logice, žádné prohlášení ve formě „Pokud aRb a bRc, pak arku“, kde „R“ je určitý vztah (např. „…rovná se…“), a, b, c jsou proměnné (podmínky, které mohou být nahrazeny objekty), a se záměnou a, b, a c s objekty je vždy pravdivá věta. Příklad tranzitivní zákon je „Pokud a je rovno b a b je rovna c, pak a je rovno c.“ Tam jsou tranzitivní zákony pro některé vztahy, ale ne pro ostatní. Tranzitivní vztah je ten, který drží mezi a a c, pokud to také platí mezi a a b a mezi b a c pro případné nahrazení předmětů pro a, b a c. Tedy, „…rovná se…“, je takový vztah, jako je „…je větší než…“ a „…je menší, než…“

Existují dva druhy vztahu, pro který neexistují žádné tranzitivní zákony: netranzitivní vztahy a nontransitive vztahy. Nepřechodný vztah je vztah, který nedrží mezi a A c, pokud také drží mezi a A b a mezi b A c pro jakékoli nahrazení objektů za A, b a c. Tedy, „…je (biologický) dcera…“ je nepřechodné, protože když Mary je dcerou Jane a Jane je dcerou Alice, Mary, nemůže být dcera Alice. Podobně „…je náměstí…“nontransitive vztahu je jeden, který může nebo nemusí držet mezi a a c, pokud to také platí mezi a a b a mezi b a c, v závislosti na objekty nahradit a, b a c. Jinými slovy, existuje alespoň jedna substituce, na kterém vztah mezi a a c má držet a alespoň jedna substituce, na kterém to není. Vztahy „… miluje … “ a „… se nerovná … “ jsou příklady.