for F being Function
for y being object holds Intersection (F,{},y) = union (rng F)