theorem :: RELSET_3:44

for X being complex-membered set holds multRel (X,1) = id X