Overview

Transitivity is a general idea that captures how a relationship carries across intermediate connections. In the broadest sense, a relation is transitive when a link from A to B together with a link from B to C implies a direct link from A to C. The term is used in several disciplines—most prominently in mathematics (relations and orderings) and in linguistics (verb argument structure)—but it also appears in computer science, social network analysis and psychology.

Mathematical definition and key properties

Formally, a binary relation R on a set S is transitive if for all a, b, c in S, whenever aRb and bRc hold, then aRc holds as well. Transitivity interacts with other properties to define familiar classes of relations:

  • Equivalence relations: reflexive, symmetric and transitive.
  • Partial orders: reflexive, antisymmetric and transitive.
  • Strict orders (like < on numbers): transitive and irreflexive.

Computationally important constructions include the transitive closure (the smallest transitive relation containing a given relation) and the transitive reduction (a minimal relation whose transitive closure is the original). Algorithms such as Warshall's (or Floyd–Warshall variants) compute closures on finite graphs; transitivity also underlies reachability and path-finding.

Linguistics: transitive and intransitive verbs

In grammar, transitivity refers to whether a verb takes direct objects. A transitive verb requires a direct object to complete its meaning ("she opened the door"); an intransitive verb does not ("he arrived"). Some verbs are ditransitive, taking two objects ("they gave her a gift"). Linguists use the related notion of valency to count how many arguments a predicate selects. Transitivity in language can affect voice alternations, case marking, and word order patterns across languages.

Applications and examples

  • Graph theory: transitivity corresponds to reachability along directed paths; directed acyclic graphs are often analyzed via transitive closure.
  • Social networks: transitivity measures tendency for two people with a common friend to be friends themselves (triangle closure or clustering coefficient).
  • Logic and cognition: transitive inference is a basic reasoning pattern studied in animals and humans (if A>B and B>C, then A>C).
  • Programming: type systems and dependency analysis exploit transitive properties to propagate constraints or permissions.

Notable distinctions and caveats

Not every relation is transitive: many natural relations fail the pattern (e.g., "is the parent of" is not transitive). Transitivity can be partial or context-dependent; sometimes a relation can be transitively closed for practical use even if the original relation lacks transitivity. Simple counterexamples—such as rock–paper–scissors—illustrate nontransitive cycles where pairwise comparison does not extend transitively.

Understanding transitivity helps organize structures in mathematics, clarify grammar and argument structure in linguistics, and analyze connectivity in networks. Its ubiquity across fields makes it a fundamental concept for reasoning about how local links produce global patterns.