theorem Th6: :: CARD_3:6

for X, Y being set holds Union (X --> Y) c= Y