theorem Th126: :: RELAT_1:134

for R being Relation holds R " (rng R) = dom R