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