for f being Function holds
( ( not f is empty & f is constant ) iff ex y being object st rng f = {y} )