:: deftheorem DefSD defines semi-diff-closed SRINGS_3:def 1 :
for IT being set holds
( IT is semi-diff-closed iff for X, Y being set st X in IT & Y in IT holds
ex F being disjoint_valued FinSequence of IT st X \ Y = Union F );