for X being set
for A being Subset-Family of X holds X in FinMeetCl A