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
Requirements
Binary relation
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms