theorem Th124: :: RELAT_1:132

for Y being set
for R being Relation holds R " Y c= dom R