for A, B, C, D being Real
for f being Function of (TOP-REAL 2),(TOP-REAL 2) st ( for t being Point of (TOP-REAL 2) holds f . t = |[((A * (t `1)) + B),((C * (t `2)) + D)]| ) holds
f is continuous