theorem :: RELSET_3:64

for i being Integer
for X being integer-membered set holds multRel (X,i) = ((curry multint) . i) |_2 X