【笔记】容斥原理

有一堆性质。原始的定理的是：

加上至少满足奇数个的，减去至少满足偶数个的。