This is an old revision of the document!

Image

Definition

$ R\in \text{Rel}(X,Y) $
$ y\in \mathrm{im}(R) $
$ \exists x\ (\langle x,y \rangle \in R) $

Ramifications

Reference

Mizar files: RELAT_1

Wikipedia: Image

Parents

Set constructor

Equivalent to

Binary relation

Link to graph
Log In
Improvements of the human condition
limeGraphxioms