:: deftheorem Def2 defines AffineMap JGRAPH_2:def 2 :
for A, B, C, D being Real
for b₅ being Function of (TOP-REAL 2),(TOP-REAL 2) holds
( b₅ = AffineMap (A,B,C,D) iff for t being Point of (TOP-REAL 2) holds b₅ . t = |[((A * (t `1)) + B),((C * (t `2)) + D)]| );