A dichotomy /dˈkɒtəmi/ is a partition of a whole (or a set) into two parts (subsets). In other words, this couple of parts must be

In this image, the universal set U (the entire rectangle) is dichotomized into the two sets A (in pink) and its complement Ac (in grey).

If there is a concept A, and it is split into parts B and not-B, then the parts form a dichotomy: they are mutually exclusive, since no part of B is contained in not-B and vice versa, and they are jointly exhaustive, since they cover all of A, and together again give A.

Such a partition is also frequently called a bipartition.

The two parts thus formed are complements. In logic, the partitions are opposites if there exists a proposition such that it holds over one and not the other.

Treating continuous variables or multicategorical variables as binary variables is called dichotomization. The discretization error inherent in dichotomization is temporarily ignored for modeling purposes.


The term dichotomy is from the Greek language Greek: διχοτομία dichotomía "dividing in two" from δίχα dícha "in two, asunder" and τομή tomḗ "a cutting, incision".

Usage and examplesEdit

  • In set theory, a dichotomous relation R is such that either aRb, bRa, but not both.[1]
  • A false dichotomy is an informal fallacy consisting of a supposed dichotomy which fails one or both of the conditions: it is not jointly exhaustive and/or not mutually exclusive. In its most common form, two entities are presented as if they are exhaustive, when in fact other alternatives are possible. In some cases, they may be presented as if they are mutually exclusive although there is a broad middle ground [2](see also undistributed middle).
  • One type of dichotomy is dichotomous classification – classifying objects by recursively splitting them into two groups. As Lewis Carroll explains, "After dividing a Class, by the Process of Dichotomy, into two smaller Classes, we may sub-divide each of these into two still smaller Classes; and this Process may be repeated over and over again, the number of Classes being doubled at each repetition. For example, we may divide “books” into “old” and “new” (i.e. “not-old”): we may then sub-divide each of these into “English” and “foreign” (i.e. “not-English”), thus getting four Classes."[3]
  • In statistics, dichotomous data may only exist at first two levels of measurement, namely at the nominal level of measurement (such as "British" vs "American" when measuring nationality) and at the ordinal level of measurement (such as "tall" vs "short", when measuring height). A variable measured dichotomously is called a dummy variable.
  • In computer science, more specifically in programming-language engineering, dichotomies are fundamental dualities in a language's design. For instance, C++ has a dichotomy in its memory model (heap versus stack), whereas Java has a dichotomy in its type system (references versus primitive data types).

See alsoEdit


  1. ^ Komjath, Peter; Totik, Vilmos (2006). Problems and Theorems in Classical Set Theory. Springer Science & Business Media. p. 497. ISBN 978-0-387-30293-5.
  2. ^ Baronett, Stan (2013). Logic. Oxford University Press. p. 134.
  3. ^ Carroll, Lewis (1897), Symbolic Logic, vol. 1.3.2 (4th ed.), London: Macmillan and Co., Ltd.