theorem Th116: :: RELAT_1:124

for X being set
for P, R being Relation st P c= R holds
P .: X c= R .: X