**Binary Relation**

In mathematics, a **binary relation on** a set *A* is a collection of ordered pairs of elements of *A*. In other words, it is a subset of the Cartesian product *A*2 = *A* × *A*. More generally, a **binary relation between** two sets *A* and *B* is a subset of *A* × *B*. The terms **dyadic relation** and **2-place relation** are synonyms for binary relations.

An example is the "divides" relation between the set of prime numbers **P** and the set of integers **Z**, in which every prime *p* is associated with every integer *z* that is a multiple of *p* (and not with any integer that is not a multiple of *p*). In this relation, for instance, the prime 2 is associated with numbers that include −4, 0, 6, 10, but not 1 or 9; and the prime 3 is associated with numbers that include 0, 6, and 9, but not 4 or 13.

Binary relations are used in many branches of mathematics to model concepts like "is greater than", "is equal to", and "divides" in arithmetic, "is congruent to" in geometry, "is adjacent to" in graph theory, "is orthogonal to" in linear algebra and many more. The concept of function is defined as a special kind of binary relation. Binary relations are also heavily used in computer science.

A binary relation is the special case *n* = 2 of an *n*-ary relation *R* ⊆ *A*_{1} × … × *A*_{n}, that is, a set of *n*-tuples where the *j*th component of each *n*-tuple is taken from the *j*th domain *A*_{j} of the relation.

In some systems of axiomatic set theory, relations are extended to classes, which are generalizations of sets. This extension is needed for, among other things, modeling the concepts of "is an element of" or "is a subset of" in set theory, without running into logical inconsistencies such as Russell's paradox.

Read more about Binary Relation: Formal Definition, Special Types of Binary Relations, Relations Over A Set, Operations On Binary Relations, Sets Versus Classes, The Number of Binary Relations, Examples of Common Binary Relations

### Famous quotes containing the word relation:

“There is a constant in the average American imagination and taste, for which the past must be preserved and celebrated in full-scale authentic copy; a philosophy of immortality as duplication. It dominates the *relation* with the self, with the past, not infrequently with the present, always with History and, even, with the European tradition.”

—Umberto Eco (b. 1932)