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
Mizar files: RELAT_1
Wikipedia: Binary relation
Parents
Requirements
