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
Parents
Requirements
