V tranzitívnom práve z matematiky a logiky akékoľvek vyhlásenie vo forme „Ak aRb a bRc, potom aRc“, kde „R“ je konkrétny vzťah (napr. „
rovná sa
“), A, b, c sú premenné (pojmy, ktoré môžu byť nahradené objektmi) a výsledkom nahradenia objektov a, b a c je vždy skutočná veta. Príkladom tranzitívneho zákona je „Ak a sa rovná b a b sa rovná c, potom a sa rovná c.“ Pre niektoré vzťahy existujú prechodné zákony, ale pre iné nie. Tranzitívny vzťah je taký, ktorý platí medzi a a c, ak platí aj medzi aab a medzi ba ac pre akúkoľvek substitúciu objektov za a, b a c. „
rovná sa
„Je taký vzťah, ako je„
je väčší ako
“A„
je menej než
Existujú dva druhy vzťahov, pre ktoré neexistujú žiadne tranzitné zákony: netransparentné vzťahy a netranzitívne vzťahy. Netranzitívny vzťah je taký, ktorý neplatí medzi a a c, ak platí aj medzi aab a medzi ba ac pre akúkoľvek substitúciu objektov za a, b a c. „
je (biologická) dcéra
“Je nepriehľadný, pretože ak Mária je dcérou Jane a Jane je dcérou Alice, nemôže byť Mária dcérou Alice. Podobne „
je námestie
„Netransparentný vzťah je taký, ktorý môže alebo nemusí platiť medzi a a c, ak tiež platí medzi aab a medzi ba ac, v závislosti od predmetov nahradených a, b a c. Inými slovami, existuje aspoň jedna substitúcia, pri ktorej platí vzťah medzi a a c a aspoň jedna substitúcia, pri ktorej nedochádza. Vzťahy „
miluje
“A„
sa nerovná
“Sú príklady.
