This is an old revision of the document!
Restricted relation
Definition
$X,Y,Z$ |
$R\in \text{Rel}(X,Y)$ |
$ \langle x,y\rangle \in R_{|Z}$ |
$ \langle x,y\rangle \in R $ |
$ x \in Z $ |
Ramifications
Reference
Mizar files: RELAT_1
Wikipedia: Wikipedia: Binary relation