:: deftheorem Def8 defines homogeneous HAHNBAN1:def 8 :
for K being non empty multMagma
for V being non empty ModuleStr over K
for F being Functional of V holds
( F is homogeneous iff for x being Vector of V
for r being Scalar of holds F . (r * x) = r * (F . x) );