:: deftheorem defines cap-closed ROUGHS_4:def 2 :
for X being set
for F being Subset-Family of X holds
( F is cap-closed iff for a, b being Subset of X st a in F & b in F holds
a /\ b in F );