# What is Relation: Definition and 1000 Discussions

In mathematics, a binary relation over sets X and Y is a subset of the Cartesian product X × Y; that is, it is a set of ordered pairs (x, y) consisting of elements x in X and y in Y. It encodes the common concept of relation: an element x is related to an element y, if and only if the pair (x, y) belongs to the set of ordered pairs that defines the binary relation. A binary relation is the most studied special case n = 2 of an n-ary relation over sets X1, ..., Xn, which is a subset of the Cartesian product X1 × ... × Xn.An example of a binary relation is the "divides" relation over the set of prime numbers

P

{\displaystyle \mathbb {P} }
and the set of integers

Z

{\displaystyle \mathbb {Z} }
, in which each prime p is related to each integer z that is a multiple of p, but not to an integer that is not a multiple of p. In this relation, for instance, the prime number 2 is related to numbers such as −4, 0, 6, 10, but not to 1 or 9, just as the prime number 3 is related to 0, 6, and 9, but not to 4 or 13.
Binary relations are used in many branches of mathematics to model a wide variety of concepts. These include, among others:

the "is greater than", "is equal to", and "divides" relations in arithmetic;
the "is congruent to" relation in geometry;
the "is adjacent to" relation in graph theory;
the "is orthogonal to" relation in linear algebra.A function may be defined as a special kind of binary relation. Binary relations are also heavily used in computer science.
A binary relation over sets X and Y is an element of the power set of X × Y. Since the latter set is ordered by inclusion (⊆), each relation has a place in the lattice of subsets of X × Y. A binary relation is either a homogeneous relation or a heterogeneous relation depending on whether X = Y or not.
Since relations are sets, they can be manipulated using set operations, including union, intersection, and complementation, and satisfying the laws of an algebra of sets. Beyond that, operations like the converse of a relation and the composition of relations are available, satisfying the laws of a calculus of relations, for which there are textbooks by Ernst Schröder, Clarence Lewis, and Gunther Schmidt. A deeper analysis of relations involves decomposing them into subsets called concepts, and placing them in a complete lattice.
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.
The terms correspondence, dyadic relation and two-place relation are synonyms for binary relation, though some authors use the term "binary relation" for any subset of a Cartesian product X × Y without reference to X and Y, and reserve the term "correspondence" for a binary relation with reference to X and Y.

View More On Wikipedia.org
1. ### Solve the commutator relations

Hello, I need to solve the commutator relations above. I found the equation above for the last one, but I am not sure, if something similar applys to the first one. I am a little bit confused, because I know there has to be a trick and you don't solve it like other commutator. Thanks for your help!
2. ### Find the relation between 2 variables

Here is the equation I obtain after simplification, I don't know if it is correct: gmc * V1 + s * C2 * Vout = [{s * (C1 + C2) * ro2 + 1} * Vout - s * C1 * ro2 * V1] * (s * rb * C2 + 1) / {ro2 * rb * (s * C2 - gm2)} I need to eliminate V1 to find the relation between Vin and Vout.
3. ### Question related to completeness relation for photons

Hi Would you explain to me what is the q^ and how they are related to completeness.How can i solve this exercise?It is from "Quarks and leptons An Introductory course in Modern Particle Physics" of Halzen and Alan D.Martin.Also, can you point me to a useful bibliography?
4. ### B Relation between Division and multiplication

For example what is ##\frac {169}{13} = ?## This says “When ##169## is divided into ##13## groups how many there are in each group?” This can be converted into a multiplication problem like this “##13## groups of how many in each group makes ##169##?” This is ##13 * ? = 169##. It can be solved...
5. ### The relation between the normal and the slope of a cylindrical curve

As you can see in this picture: This explanation "relation between the normal and the slope of a curve" is formulated here: $$\frac{1}{\rho} \frac{d\rho }{d\psi }=\tan\left(\frac{\theta+\psi}{2}\right)$$ I got confused because I don't have the curve equation(regarding the slope of the curve...
6. ### A Relation between the density matrix and the annihilation operator

This question is related to equation (1),(3), and (4) in the [paper][1] [1]: https://arxiv.org/abs/2002.12252
7. ### I Non-Commutation Property and its Relation to the Real World

I just learned that if two linear operators do not commute, this means when we use operators to characterize observables in quantum mechanics, the corresponding observables cannot both be definite at the same time. This seems hard to believe to me since I have a strong intuition, perhaps...
8. ### Engineering Phase voltage and Line-Line voltage relation

The below is the diagram i want to find the phase and line-line voltage relation I am finding difficulty in identifying the loop and applying the KVL. One attempt is U_{VA} - U_R - U_L -U_O - U_L - U_R = U_VB U_{VA} - 2(U_R+U_L) = U_VB -> eq1 Is my attempt correct? i am not confident please help.
9. ### Comp Sci How to find candidate keys in this relation?

These are the FDs: AB=>CD C=>A D=>B My method of finding candidate keys is: 1) Look at RHS 2) Whatever isn't there could be a candidate key. (Find its closure). But here everything is in RHS. So, I'm confused. Can you share a better method to find candidate keys without getting too...
10. ### I Deriving the Planck relation

How do one derive the relation E=hf?

45. ### I Entropy and Heat Capacity Relation

I have a simple question sort of about exact differentials and deciding which variables matter and when. I know we can write entropy ##S## as ##S(P,T)## and ##S(V,T)## to derive different relations between heat capacities ##C_V## and ##C_P##. I was wondering if it is technically correct to...
46. ### A Relation between Matter Power spectrum and Angular power spectrum

From a previous post about the Relationship between the angular and 3D power spectra , I have got a demonstration making the link between the Angular power spectrum ##C_{\ell}## and the 3D Matter power spectrum ##P(k)## : 1) For example, I have the following demonstration, ## C_{\ell}\left(z...
47. ### Question on discrete commutation relation in QFT

Given the commutation relation $$\left[\phi\left(t,\vec{x}\right),\pi\left(t,\vec{x}'\right)\right]=i\delta^{n-1}\left(\vec{x}-\vec{x}'\right)$$ and define the Fourier transform as...
48. ### Wavelength in relation to the Dielectric Constant Dk

Hi, On slide 9 of this presentation: http://www.globalcommhost.com/rogers/acs/techsupporthub/en/docs/MWJ_webinar_June20_2017_JC_microstrip_coplanar_stripline_final.pdf it states the signal wavelength can be changed with dielectric constant Dk. As far as I understand the wavelength and the...
49. ### Cause-effect relation between pressure & velocity

For a steady, non-viscous and incompressible flow, one can apply both Bernoulli's principle (no potentials) as $$p+\frac{\rho v^2}{2} = p_t$$ where ##p##, ##\rho,##, ##v##, and ##p_t## are static pressure, density, flow velocity, and total pressure, respectively, and continuitiy principle as...
50. ### A Why Is AdS Space Ideal for Formulating String Theory and Holography?

In AdS/CFT, we have the GKP-witten relation $$\left< \exp \left( i \int \phi^{(0)} O \right) \right> = e^{-S[\phi^{(0)}]}$$ why is it natural to formulate string theory on an AdS space? is it a natural background for some particular definite reasons? Is holography naturally formulated in an...