What are relations

relations

I understand that a function may be considered as a set of ordered pairs which relate the elements between two sets. I understand that a function is a subset of the cartesian product between the two sets and it can be defined by an equation like $y=x+1$ or $f(x)=x+1$, on a specified domain for $x$.

I am struggling to understand relations though. i know a function is a relation (set of ordered pairs) and a relation between to sets is nothing more than a subset of the cartesian product and that you could use $y=x+1$ or $y^2 + x^2 =1$ to define a relation.

What i dont get is why "equals" is referred to as a relation and "less than". Is the equals relation the set of ordered pairs $(x,y)$ defined by $y=x$, on some domain for x? and similarly for $y<x$?

Best Answer

Short answer: yes (in both cases).

For instance, if you are working on $\mathbb N$, then the binary relation “$=$” is the set$$\{(n,n)\,|\,n\in\mathbb{N}\},$$whereas the binary relation “$\leqslant$” is the set$$\{(m,n)\,|\,m,n\in\mathbb{N}\wedge m\leqslant n\}.$$

If $A$ is a set, a binary relation on $A$ is subset $R$ of $A^2$. It's, in fact, the set of all pairs of elements $(a,b)$ of $A^2$ for which the relation holds. (This is not a definition, of course. I am just trying to convey the idea.)

Related Question