for I, J being non empty set
for a being Function of I,J
for F being multMagma-Family of J holds trans_prod (F,a) is multiplicative