Differences

This shows you the differences between two versions of the page.

Link to this comparison view

restricted_relation [2013/06/12 22:30]
ben
restricted_relation [2014/03/21 11:11]
Line 1: Line 1:
-===== Restricted relation ===== 
-==== Definition ==== 
-| @#88DDEE: $X,Y,Z$ | 
-| @#88DDEE: $R\in \text{Rel}(X,​Y)$ | 
- 
-| @#55EE55: $ \langle x,y\rangle \in R_{|Z}$ | 
- 
-| @#55EE55: $ \langle x,y\rangle \in R $ | 
-| @#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]] 
- 
-==== Context ==== 
-=== Parametrized subset of === 
-[[Binary relation]] 
  
Link to graph
Log In
Improvements of the human condition