:: deftheorem Def6 defines DsupClOpers WAYBEL10:def 6 :
for L being non empty reflexive RelStr
for b₂ being non empty strict full SubRelStr of ClOpers L holds
( b₂ = DsupClOpers L iff for f being closure Function of L,L holds
( f is Element of b₂ iff f is directed-sups-preserving ) );