for X being set
for G being Subset-Family of X st G is upper holds
FinMeetCl G is upper