theorem Th134: :: RELAT_1:144

for Y being set
for P, R being Relation st P c= R holds
P " Y c= R " Y