theorem Th41: :: RELSET_2:41

for x, y being object
for A, B being set
for R being Subset of [:A,B:] holds
( y in Im ((R `),x) iff ( not [x,y] in R & x in A & y in B ) )