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