for X being non empty set
for Y being set
for f being Function of X,{Y} holds rng f = {Y}