:: deftheorem Def14 defines homogeneous HAHNBAN1:def 14 :
for V being non empty ModuleStr over F_Complex
for F being RFunctional of V holds
( F is homogeneous iff for v being Vector of V
for r being Scalar of holds F . (r * v) = |.r.| * (F . v) );