theorem Th25: :: CARD_FIN:26

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