theorem Th58: :: FUNCT_1:59

for x being object
for f being Function st x in dom f holds
Im (f,x) = {(f . x)}