Transitive law, i matematikk og logikk, enhver uttalelse av formen «Hvis aRb og bRc, deretter aRc», hvor «R» er et bestemt forhold (f.eks. «…er lik…»), a, b, c er variabler (vilkår som kan erstattes med objekter), og resultatet av å erstatte a, b og c med objekter er alltid en sann setning. Et eksempel på en transitiv lov er «hvis a er lik b og b er lik c, så er a lik c.» Det er transitive lover for noen relasjoner, men ikke for andre. En transitiv relasjon er en som holder mellom a og c hvis den også holder mellom a og b og mellom b og c for enhver substitusjon av objekter for a, b og c. Således er»… lik… «et slikt forhold, som er» … er større enn… «og»…er mindre enn … »

det er to typer forhold som det ikke finnes transitive lover for: intransitive relasjoner og ikke-transitive relasjoner. En intransitiv relasjon er en som ikke holder mellom a og c hvis den også holder mellom a og b og mellom b og c for enhver substitusjon av objekter for a, b og c. Således er»… den (biologiske) datteren til … » intransitiv, fordi Hvis Maria er Datter Av Jane og Jane er Datter Av Alice, Kan Maria ikke være Datter Av Alice. På samme måte er «… kvadratet av… » en ikke-transitiv relasjon er en som kan eller ikke kan holde mellom a og c hvis den også holder mellom a og b og mellom b og c, avhengig av objektene som er erstattet av a, b og c. med andre ord er det minst en substitusjon som forholdet mellom a og c holder og minst en substitusjon som den ikke gjør. Forholdet «… elsker … «og» … er ikke lik … » er eksempler.