theorem Th45: :: FOMODEL0:45

for f being Function holds SymbolsOf {f} = rng f