for X, Y being set
for f being Function of X,Y st not X is empty & not Y is empty holds
( f is constant iff ex y being Element of Y st rng f = {y} ) by FUNCT_2:111;