theorem Th10: :: VALUED_0:10

for f being Function holds
( f is RAT -valued iff for x being object holds f . x is rational )