theorem Th20: :: RELSET_2:20

for A, B being set
for R being Subset of [:A,B:] holds rng (.: ) c= bool (rng R)