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