for x, y being Element of [.0,1.] st 0 < x & x < 1 & 0 < y & y < 1 holds
((#R x) + (AffineMap ((- x),(x - 1)))) | ].0,1.[ is increasing