for X being set
for F being Subset-Family of X st F c= Fin X holds
meet F in Fin X