transitiv lag, i matematik och logik, varje uttalande av formuläret ”om aRb och bRc, då aRc”, där ”R” är en viss relation (t.ex. ”…är lika med…”), a, b, c är variabler (termer som kan ersättas med objekt), och resultatet av att ersätta a, b och c med objekt är alltid en sann mening. Ett exempel på en transitiv lag är ”om a är lika med b och b är lika med c, då är a lika med c.” det finns transitiva lagar för vissa relationer men inte för andra. Ett transitivt förhållande är ett som håller mellan a och c om det också håller mellan a och b och mellan b och c för varje substitution av objekt för a, b och c. Således är ”…lika med…” ett sådant förhållande, som är ”…är större än…” och ”…är mindre än…”

det finns två typer av relationer för vilka det inte finns några transitiva lagar: intransitiva relationer och icke-transitiva relationer. En intransitiv relation är en som inte håller mellan a och c om den också håller mellan a och b och mellan b och c för varje substitution av objekt för A, b och c. Således är”… den (biologiska) dottern till … ” intransitiv, för om Mary är dotter till Jane och Jane är dotter till Alice, kan Mary inte vara dotter till Alice. På samma sätt”…är kvadraten av … ” är en icke-transitiv relation en som kan eller inte kan hålla mellan a och c om den också håller mellan A och b och mellan b och c, beroende på föremålen som ersätts med a, b och c. med andra ord finns det minst en substitution på vilken förhållandet mellan A och c håller och minst en substitution på vilken den inte gör det. Relationerna”… älskar … ” och ”… är inte lika med … ” är exempel.