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

| @#FFBB00: definiendum | @#FFBB00: $ \langle x,y \rangle \in R^\smile $ |

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

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

==== Parents ====
=== Context ===
[[Binary relation]]