theorem Th64: :: RELAT_1:70

for X being set
for R being Relation holds rng (R | X) c= rng R by Th53, XTUPLE_0:9;