transitieve recht, in de wiskunde en de logica, elke verklaring van de vorm “If aRb and bRc, then aRc,” waar “R” is een bepaalde relatie (bijvoorbeeld, “…is gelijk aan…”), a, b, c zijn variabelen (termen die kunnen worden vervangen door objecten), en het resultaat van het vervangen van A, b, en c door objecten is altijd een ware zin. Een voorbeeld van een transitieve wet is “als a gelijk is aan b en b gelijk is aan c, dan is a gelijk aan c.” er zijn transitieve wetten voor sommige relaties, maar niet voor andere. Een transitieve relatie is een relatie die geldt tussen a en c als het ook geldt tussen A en b en tussen b en c voor elke substitutie van objecten voor A, b en c. dus, “…is gelijk aan…” is zo ‘ n relatie, als is “…is groter dan…” en “…is kleiner dan…”

er zijn twee soorten relaties waarvoor er geen transitieve wetten zijn: niet-transitieve relaties en niet-transitieve relaties. Een onvergankelijke relatie is een relatie die niet geldt tussen a en c als deze ook geldt tussen A en b en tussen b en c voor elke substitutie van objecten voor A, b en c. Dus,”… is de (biologische) dochter van … ” is onverzettelijk, want als Mary de dochter van Jane is en Jane is de dochter van Alice, kan Mary niet de dochter van Alice zijn. Evenzo”…is het kwadraat van … ” is een niet-transitieve relatie er een die al dan niet kan houden tussen a en c als zij ook houdt tussen A en b en tussen b en c, afhankelijk van de objecten die A, b en c vervangen. met andere woorden, er is ten minste één substitutie waarop de relatie tussen A en c wel en ten minste één substitutie waarop zij niet houdt. De relaties”… liefdes … ” en “… is niet gelijk aan … ” zijn voorbeelden.