## Binary relation

### Set

 context $X,Y$ definiendum $\text{Rel}(X,Y) \equiv \mathcal{P}(X\times Y)$

### Discussion

The set of all binary relations on $X\times Y$.

If $R$ is a binary relation, we write $x R y\equiv \langle x,y\rangle \in R$

#### Reference

Wikipedia: Binary relation