theorem Th1: :: WAYBEL18:1

for X being set
for A, B being Subset-Family of X st ( B = A \ {{}} or A = B \/ {{}} ) holds
UniCl A = UniCl B