theorem Th47: :: RELSET_3:46

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