theorem Th11: :: RELSET_2:11

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