World Library  
Flag as Inappropriate
Email this Article


Article Id: WHEBN0000614040
Reproduction Date:

Title: Intransitivity  
Author: World Heritage Encyclopedia
Language: English
Subject: Nontransitive game, Transitivity, Quasitransitive relation, Sports rating system, Independence of irrelevant alternatives
Collection: Mathematical Relations
Publisher: World Heritage Encyclopedia


In mathematics, intransitivity (sometimes called nontransitivity) is a property of binary relations that are not transitive relations. This may include any relation that is not transitive, or the stronger property of antitransitivity, which describes a relation that is never transitive.


  • Intransitivity 1
  • Antitransitivity 2
  • Cycles 3
  • Occurrences in preferences 4
  • Likelihood 5
  • References 6
  • Further reading 7


A relation is transitive if, whenever it relates some A to some B, and that B to some C, it also relates that A to that C. Some authors call a relation intransitive if it is not transitive, i.e. (if the relation in question is named R)

\lnot\left(\forall a, b, c: a R b \land b R c \Rightarrow a R c\right).

This statement is equivalent to

\exists a,b,c : a R b \land b R c \land \lnot(a R c)

For instance, in the food chain, wolves feed on deer, and deer feed on grass, but wolves do not feed on grass.[1] Thus, the feed on relation among life forms is intransitive, in this sense.

Another example that does not involve preference loops arises in freemasonry: it may be the case that lodge A recognizes lodge B, and lodge B recognizes lodge C, but lodge A does not recognize lodge C. Thus the recognition relation among Masonic lodges is intransitive.


Often the term intransitive is used to refer to the stronger property of antitransitivity.

We just saw that the feed on relation is not transitive, but it still contains some transitivity: for instance: humans feed on rabbits, rabbits feed on carrots, and humans also feed on carrots.

A relation is antitransitive if this never occurs at all, i.e.,

\forall a, b, c: a R b \wedge b R c \Rightarrow \neg a R c

Many authors use the term intransitivity to mean antitransitivity.[2][3]

An example of an antitransitive relation: the defeated relation in knockout tournaments. If player A defeated player B and player B defeated player C, A can have never played C, and therefore, A has not defeated C.


The term intransitivity is often used when speaking of scenarios in which a relation describes the relative preferences between pairs of options, and weighing several options produces a "loop" of preference:

  • A is preferred to B
  • B is preferred to C
  • C is preferred to A

Rock, paper, scissors; Nontransitive dice; and Penney's game are examples. Real combative relations of competing species [4] and strategies of individual animals [5] can be cyclic as well.

Assuming no option is preferred to itself i.e. the relation is irreflexive, a preference relation with a loop is not transitive. For if it is, each option in the loop is preferred to each option, including itself. This can be illustrated for this example of a loop among A, B, and C. Assume the relation is transitive. Then, since A is preferred to B and B is preferred to C, also A is preferred to C. But then, since C is preferred to A, also A is preferred to A.

Therefore such a preference loop (or "cycle") is known as an intransitivity.

Notice that a cycle is neither necessary nor sufficient for a binary relation to be not transitive. For example, an equivalence relation possesses cycles but is transitive. Now, consider the relation "is an enemy of" and suppose that the relation is symmetric and satisfies the condition that for any country, any enemy of an enemy of the country is not itself an enemy of the country. This is an example of an antitransitive relation that does not have any cycles. In particular, by virtue of being antitransitive the relation is not transitive.

Finally, let us work with the example of rock, paper, scissors, calling the three options A, B, and C.

Now, the relation over A, B, and C is "defeats" and the standard rules of the game are such that A defeats B, B defeats C, and C defeats A. Furthermore, it is also true that B does not defeat A, C does not defeat B, and A does not defeat C. Finally, it is also true that no option defeats itself. This information can be depicted in a table:

A 0 1 0
B 0 0 1
C 1 0 0

The first argument of the relation is a row and the second one is a column. Ones indicate the relation holds, zero indicates that it does not hold. Now, notice that the following statement is true for any pair of elements x and y drawn (with replacement) from the set {A, B, C}: If x defeats y, and y defeats z, then x does not defeat z. Hence the relation is antitransitive.

Thus, a cycle is neither necessary nor sufficient for a binary relation to be antitransitive.

Occurrences in preferences

  • Intransitivity can occur under majority rule, in probabilistic outcomes of game theory, and in the Condorcet voting method in which ranking several candidates can produce a loop of preference when the weights are compared (see voting paradox). Intransitive dice demonstrate that probabilities are not necessarily transitive.
  • In psychology, intransitivity often occurs in a person's system of values (or preferences, or tastes), potentially leading to unresolvable conflicts.
  • Analogously, in economics intransitivity can occur in a consumer's preferences. This may lead to consumer behaviour that does not conform to perfect economic rationality. In recent years, economists and philosophers have questioned whether violations of transitivity must necessarily lead to 'irrational behaviour' (see Anand (1993)).


It has been suggested that Condorcet voting tends to eliminate "intransitive loops" when large numbers of voters participate because the overall assessment criteria for voters balances out. For instance, voters may prefer candidates on several different units of measure such as by order of social consciousness or by order of most fiscally conservative.

In such cases intransitivity reduces to a broader equation of numbers of people and the weights of their units of measure in assessing candidates.

Such as:

  • 30% favor 60/40 weighting between social consciousness and fiscal conservatism
  • 50% favor 50/50 weighting between social consciousness and fiscal conservatism
  • 20% favor a 40/60 weighting between social consciousness and fiscal conservatism

While each voter may not assess the units of measure identically, the trend then becomes a single vector on which the consensus agrees is a preferred balance of candidate criteria.


  1. ^ Wolves do eat grass - see Engel, Cindy (2003). Wild Health: Lessons in Natural Wellness from the Animal Kingdom (paperback ed.). Houghton Mifflin. p. 141.  .
  2. ^ Guide to Logic, Relations II
  3. ^ IntransitiveRelation
  4. ^ Kerr B., Riley M.A., Feldman M.W., & Bohannan B.J.M. (2002). Local dispersal promotes biodiversity in a real-life game of rock–paper–scissors. Nature. 418(171-174)
  5. ^ Leutwyler, K. (2000). Mating Lizards Play a Game of Rock-Paper-Scissors. Scientific American.

Further reading

  • Anand, P (1993). Foundations of Rational Choice Under Risk. Oxford: Oxford University Press. .
  • Poddiakov, A., & Valsiner, J. (2013). Intransitivity cycles and their transformations: How dynamically adapting systems function. In: L. Rudolph (Ed.). Qualitative mathematics for the social sciences: Mathematical models for research on cultural dynamics. Abingdon, NY: Routledge. Pp. 343-391.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.