Loi transitive, en mathématiques et en logique, toute déclaration de la forme « Si aRb et bRc, alors aRc », où « R » est une relation particulière (par exemple, « is est égal à… »), a, b, c sont des variables (termes qui peuvent être remplacés par des objets), et le résultat du remplacement de a, b et c par des objets est toujours une phrase vraie. Un exemple de loi transitive est « Si a est égal à b et b est égal à c, alors a est égal à c ». Il existe des lois transitives pour certaines relations mais pas pour d’autres. Transitive de la relation en est une qui détient entre a et c, si elle détient également entre a et b et entre b et c pour toute substitution d’objets de a, b, et c. Ainsi, « …est égal à… » est d’une telle relation, de même que « …est plus grand que… » et « …est moins que… »

Il existe deux types de rapport pour lequel il n’y a pas transitive lois: intransitif relations et non transitive des relations. Une relation intransitive est une relation qui ne tient pas entre a et c si elle tient également entre a et b et entre b et c pour toute substitution d’objets pour a, b et c. Ainsi, « is est la fille (biologique) de… » est intransitif, car si Marie est la fille de Jane et Jane est la fille d’Alice, Marie ne peut pas être la fille d’Alice. De même « is est le carré de… » Une relation non transsitive est une relation qui peut ou non tenir entre a et c si elle tient également entre a et b et entre b et c, selon les objets substitués à a, b et c. En d’autres termes, il y a au moins une substitution sur laquelle la relation entre a et c tient et au moins une substitution sur laquelle elle ne tient pas. Les relations « lovesaime… » et  » is n’est pas égal à … » en sont des exemples.