:: deftheorem Def4 defines homogeneous TOPREAL9:def 4 :
for n being Nat
for f being Function of (TOP-REAL n),(TOP-REAL n) holds
( f is homogeneous iff for r being Real
for x being Point of (TOP-REAL n) holds f . (r * x) = r * (f . x) );