|D|=|S1|+|S2|...|Sn|

Definition 1