theorem Th15: :: YELLOW_9:15

for X being set
for A being Subset-Family of X holds UniCl (UniCl A) = UniCl A