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

Cartesian product, Power set