theorem Th16: :: YELLOW_9:16

for X being set
for A being empty Subset-Family of X holds UniCl A = {{}}