This is an old revision of the document!
Binary relation
Definition
| $X,Y$ |
| $ \text{Rel}(X,Y) \equiv \mathcal{P}(X\times Y) $ |
The set of all binary relations on $X\times Y$.
Discussion
If $R$ is a binary relation, we write $x R y\equiv \langle x,y\rangle \in R$
Reference
Wikipedia: Binary relation
Parents
Requirements
