theorem Th1: :: ABCMIZ_1:1

for x being set
for f being Function holds f . x c= Union f