tranzitív törvény, a matematikában és a logikában az “If aRb és bRc, then Ark” formájú állítások, ahol “R” egy adott reláció (pl. “…egyenlő…”), a, b, c változók (olyan kifejezések, amelyek helyettesíthetők tárgyakkal), és az A, b és c tárgyakkal való helyettesítésének eredménye mindig igaz mondat. Példa egy tranzitív törvényre: “ha a egyenlő b – vel, b egyenlő c-vel, akkor a egyenlő c-vel.” vannak tranzitív törvények egyes kapcsolatokra, de másokra nem. A tranzitív reláció akkor áll fenn a és c között, ha a és b között és b és c között is érvényes az objektumok a, b és c helyettesítésére. így a “…egyenlő…” olyan reláció, mint a “…nagyobb, mint…” és “…kevesebb, mint…”

kétféle reláció létezik, amelyekre nincsenek tranzitív törvények: intranzitív kapcsolatok és nem transzitív kapcsolatok. Az intranzitív reláció nem áll fenn a és c között, ha a és b között, valamint b és c között is érvényes az objektumok a, b és c helyettesítésére. Így a”… a (biológiai) lánya … ” intranzitív, mert ha Mary Jane lánya, Jane pedig Alice lánya, Mary nem lehet Alice lánya. Hasonlóképpen “… a … négyzete”egy nem transzverzív reláció olyan, amely a és c között is fennállhat, ha a és b között, valamint b és c között is fennáll, az A, b és c helyettesített tárgyaktól függően. más szóval, van legalább egy helyettesítés, amelyen az a és c közötti kapcsolat fennáll, és legalább egy helyettesítés, amelyen nem. A “…szeret…” és a “… nem egyenlő …” kapcsolatok példák.