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