theorem Th96: :: FUNCT_1:97

for X being set
for f being Function holds rng (f | {X}) c= {(f . X)}