:: deftheorem Def6 defines d.union-closed COHSP_1:def 6 :
for X being set holds
( X is d.union-closed iff for A being Subset of X st A is c=directed holds
union A in X );