theorem Th9: :: CANTOR_1:9

for X being set
for A, B being Subset-Family of X st A c= B holds
UniCl A c= UniCl B