|S\(A1∪A2∪⋯∪An)|=|S|+∑t=1n(-1)t⁢∑1≤j1<j2<⋯<jt≤n|Aj1∩Aj2∩⋯∩Ajt|.