Relation (Mathematics)

In mathematics, an n-ary relation (or often simply relation) is a generalization of binary relations such as "=" and "<" which occur in statements such as "5 < 6" or "2 + 2 = 4". It is the fundamental notion in the relational model for databases. Formally, a relation over the sets X1, ..., Xn is an (n + 1)-tuple R=(X1, ..., Xn, G(R)) where G(R) is a subset of X1 × ... × Xn (the Cartesian product of these sets). G(R) is called the graph of R and, similar to the case of binary relation, R is often identified as its graph. An n-ary predicate is a truth-valued function of n variables. Because a relation as above defines uniquely an n-ary predicate that holds for x1, ..., xn if (x1, ..., xn) is in R, and vice versa, the relation and the predicate are often denoted with the same symbol. So, for example, the following two statements are considered to be equivalent:
(x_1,x_2,\dotsb)\in R
R(x_1,x_2,\dotsb)
Relations are classified according to the number of sets in the Cartesian product; in other words the number of terms in the expression:
  • unary relation: R(x)
  • binary relation: R(x, y) or x R y
  • ternary relation: R(x, y, z)
  • quarternary relation: R(x, y, z, w)
Relations with more than 4 terms are usually called n-ary; for example "a 5-ary relation".

 

<< PreviousWord BrowserNext >>
mahatma gandhi
miyamoto musashi
multivariate statistics
may 18
money laundering
midwifery
mercedes
miguel de cervantes
maimonides
magnetic resonance imaging
group (mathematics)
marilyn manson
mortimer adler
may 11
max weber
max horkheimer
myanmar
may 24
military technology and equipment
mazurek dabrowskiego
mahjong
may 12
mariah carey
mervyn peake
martial art
murat ses
mokele mbembe
intuitionism
may 6
march 2
mishnah
morphism
marathon
monotheism
may 9
muay thai
mao zedong
mechanical engineering
minister
march 11
monkey island
cardiff arms park
macintosh
mikhail kalashnikov