for X being set
for S being non empty Subset-Family of X st S is semi-diff-closed holds
S is diff-c=-finite-partition-closed