theorem :: ZFMISC_1:76

for A, Z being set st ( for X being set st X in A holds
X c= Z ) holds
union A c= Z