theorem :: FUNCT_1:98

for X being set
for f being Function st X in dom f holds
rng (f | {X}) = {(f . X)}