for X being non empty set
for B, Y being Subset-Family of X st Y c= UniCl B holds
union Y in UniCl B