theorem :: RELSET_3:47

for z being Complex
for X, Y being complex-membered set holds multRel ((X /\ Y),z) = (multRel (X,z)) /\ (multRel (Y,z))