scheme :: BINOP_2:sch 20
WLambdaD{ F₁( Rational) -> Rational } :

ex f being Function of RAT,RAT st
for x being Rational holds f . x = F₁(x)