theorem Th2: :: MSUALG_9:2

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