theorem Th51: :: RELSET_3:50

for z1, z2 being Complex
for X being complex-membered set holds (multRel (X,z1)) * (multRel (X,z2)) c= multRel (X,(z1 * z2))