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

| @#55EE55: postulate   | @#55EE55: $ y\in \mathrm{im}(R) $ |

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

==== Ramifications ====
=== Reference ===

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

Wikipedia: [[http://en.wikipedia.org/wiki/Image_%28mathematics%29|Image]]

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