theorem Th11: :: CANTOR_1:11

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