This is an old revision of the document!
Mizar files: RELAT_1
Wikipedia: Image
Set constructor
Binary relation