包除原理

wikipedia

属性Aまたは属性Bの数

＝ 属性Aの数 + 属性Bの数 – 属性Aかつ属性Bの数

集団Gから属性Aと属性Bを除いた数

＝ 集団Gの数 – 属性Aの数 – 属性Bの数 + 属性Aかつ属性Bの数

集団Gから属性Aと属性Bと属性Cを除いた数

= 集団Gの数 – 属性Aの数 – 属性Bの数 – 属性Cの数
+ 属性Aかつ属性Bの数 + 属性Aかつ属性Cの数 + 属性Bかつ属性Cの数
– 属性Aかつ属性Bかつ属性Cの数