theorem Th76: :: ZFMISC_1:77

for A, B being set st A c= B holds
union A c= union B