for R being non empty RelStr
for u, w being Element of R holds
( u in Im ( the InternalRel of R,w) iff w in Coim ( the InternalRel of R,u) )