Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
reversed_relation [2013/05/18 12:56]
127.0.0.1 external edit
reversed_relation [2013/09/09 09:25]
nikolaj
Line 1: Line 1:
 ===== Reversed relation ===== ===== Reversed relation =====
 ==== Definition ==== ==== Definition ====
-| $ R $ |+@#​88DDEE: ​$ R\in\text{Rel}(X,​Y) ​$ |
  
-| $ \forall_R c\ \exists a,b(c=\langle a,b\rangle) ​$ |+@#​FFBB00: ​$ \langle x,\rangle ​\in R^\smile $ |
  
-^ $ \langle x,y \rangle \in R^\smile $ ^ +| @#​55EE55: ​$ \langle y,x \rangle \in R $ |
- +
-$ \langle y,x \rangle \in R $ ^+
  
 ==== Ramifications ==== ==== Ramifications ====
Line 13: Line 11:
 Mizar files: [[http://​markun.cs.shinshu-u.ac.jp/​mirror/​mizar/​JFM/​Vol1/​relat_1.html|RELAT_1]] Mizar files: [[http://​markun.cs.shinshu-u.ac.jp/​mirror/​mizar/​JFM/​Vol1/​relat_1.html|RELAT_1]]
  
-==== Context ​==== +==== Parents ​==== 
-Set constructor +=== Requirements ​=== 
-=== Parents ​=== +[[Binary relation]]
-[[Ordered pair]]+
Link to graph
Log In
Improvements of the human condition