theorem Th47: :: FUNCT_2:48

for Y being set
for x being object
for f being Function of {x},Y st Y <> {} holds
rng f = {(f . x)}