:: deftheorem defines homogeneous MOD_2:def 2 :
for R being non empty multMagma
for G, H being non empty ModuleStr over R
for f being Function of G,H holds
( f is homogeneous iff for a being Scalar of R
for x being Vector of G holds f . (a * x) = a * (f . x) );