theorem :: RELSET_3:48

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