for f being one-to-one UnOp of [.0,1.]
for d being Element of [.0,1.] st d in rng f holds
(f ") . d in dom f