theorem NE: :: SRINGS_3:7

for X being set
for S being non empty diff-closed Subset-Family of X holds {} in S