Relation

Given a set $X$, a relation on $X$ is simply a collection $\gamma$ of subsets of its square $X \times X$. Then we write: $$xRy \Leftrightarrow (x,y)\in U\in \gamma.$$ The major examples are:

• order relation,
• equivalence relation.