:: deftheorem Def4 defines AffineMap FCONT_1:def 4 :
for a, b being Real
for b₃ being Function of REAL,REAL holds
( b₃ = AffineMap (a,b) iff for x being Real holds b₃ . x = (a * x) + b );