theorem :: RELAT_1:135

for Y being set
for R being Relation holds R " Y c= R " (rng R)