theorem Th105: :: RELAT_1:111

for X being set
for R being Relation holds R .: X c= rng R