for X being set
for SF being upper Subset-Family of X
for S being Element of SF holds meet SF c= S