theorem Th10: :: RELSET_2:10

for x being object
for R1, R2 being Relation holds Im ((R1 \/ R2),x) = (Im (R1,x)) \/ (Im (R2,x))