===== Restricted relation =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X,Y,Z$ |
| @#55CCEE: context     | @#55CCEE: $R\in \text{Rel}(X,Y)$ |

| @#55EE55: postulate   | @#55EE55: $ \langle x,y\rangle \in R_{|Z}$ |

| @#55EE55: postulate   | @#55EE55: $ \langle x,y\rangle \in R $ |
| @#55EE55: postulate   | @#55EE55: $ x \in Z $ |

==== Ramifications ====
==== Reference ====
Mizar files: [[http://markun.cs.shinshu-u.ac.jp/mirror/mizar/JFM/Vol1/relat_1.html|RELAT_1]]

Wikipedia: Wikipedia: [[http://en.wikipedia.org/wiki/Binary_relation|Binary relation]]

==== Parents ====
=== Subset of ===
[[Binary relation]]