Transitiv lov, i matematik og logik, enhver erklæring i formularen “hvis aRb og bRc, så aRc,” hvor “R” er en bestemt relation (f.eks. “…er lig med…”), A, b, c er variabler (udtryk, der kan erstattes med objekter), og resultatet af at erstatte A, b og c med objekter er altid en sand sætning. Et eksempel på en transitiv lov er “hvis a er lig med b og b er lig med c, så er a lig med c.” der er transitive love for nogle relationer, men ikke for andre. En transitiv relation er en, der holder mellem a og c, hvis den også holder mellem a og b og mellem b og c for enhver substitution af objekter med A, b og c. således er “…lig med…” en sådan relation, som den er “…er større end…” og “…er mindre end…”

der er to slags forhold, for hvilke der ikke er nogen transitive love: intransitive relationer og ikke-transitive relationer. En intransitiv relation er en, der ikke holder mellem a og c, hvis den også holder mellem a og b og mellem b og c for enhver substitution af objekter med A, b og c. Således er”… den (biologiske) datter af … ” intransitiv, for hvis Mary er datter af Jane og Jane er datter af Alice, kan Mary ikke være datter af Alice. Ligeledes “… er kvadratet af… ” en ikke-transitiv relation er en, der måske eller måske ikke holder mellem A og c, hvis den også holder mellem A og b og mellem b og c, afhængigt af de objekter, der er erstattet af A, b og c. med andre ord er der mindst en substitution, som forholdet mellem A og c holder på, og mindst en substitution, som det ikke gør. Forholdet”… elsker … ” og “… er ikke lig med … ” er eksempler.