theorem Th133: :: RELAT_1:143

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