# Differences

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

 reversed_relation [2013/05/21 11:00]nikolaj reversed_relation [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/09 09:25 nikolaj 2013/09/06 22:04 external edit2013/05/21 11:00 nikolaj 2013/05/18 12:56 external edit2013/05/17 22:13 nikolaj 2013/05/15 23:51 external edit2013/05/15 20:17 nikolaj 2013/05/15 20:16 nikolaj created Next revision Previous revision 2013/09/09 09:25 nikolaj 2013/09/06 22:04 external edit2013/05/21 11:00 nikolaj 2013/05/18 12:56 external edit2013/05/17 22:13 nikolaj 2013/05/15 23:51 external edit2013/05/15 20:17 nikolaj 2013/05/15 20:16 nikolaj created Line 1: Line 1: ===== Reversed relation ===== ===== Reversed relation ===== - ==== Definition ​==== + ==== Set ==== - | $R\in\text{Rel}(X,​Y)$ | + | @#55CCEE: context ​    | @#​55CCEE: ​$R\in\text{Rel}(X,​Y)$ | - ^ $\langle x,y \rangle \in R^\smile$ ^ + | @#FFBB00: definiendum | @#​FFBB00: ​$\langle x,y \rangle \in R^\smile$ | - ^ $\langle y,x \rangle \in R$ ^ + | @#55EE55: postulate ​  | @#​55EE55: ​$\langle y,x \rangle \in R$ | ==== Ramifications ==== ==== Ramifications ==== Line 11: 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 + === Context ​=== - === Parents ​=== + [[Binary relation]] [[Binary relation]]