for R being Relation
for x being object st x in R holds
x `2 in Im (R,(x `1))