theorem Th10: :: VALUED_0:10

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