计数

计数就是集合对数的映射$f(S)$
1.关于集合：
运算：
①交并补
②加减（可重集意义下）积（笛卡尔积）
原理：容斥，德摩根，容斥反演 这在 容斥.doc 中都有。

2.贡献法则
两个对象a,b，让b对a做贡献。则b对a的贡献等于a从b得到的贡献。

3.考察$f(S)$
考虑最基本的$f(S)=|S|$
有加法原理与乘法原理
$$\begin{gathered} |A+B|=|A|+|B| \\ |A\times B|=|A|\times |B| \end{gathered}$$
考虑一般的$f(S)$
定义运算$sym$满足集合加的所有性质（交换律，结合律，有逆运算，是二元运算…）。
定义 $sym$意义下关注元素集合运算$f$
∀ A , B      f ( A + B ) = f ( A )   s y m   f ( B )    ⟺    ∀ f ( S ) = S Y M x ∈ S f ( { x } ) \forall A,B~~~~f(A+B)=f(A)\ sym\ f(B)\iff \forall f(S)=SYM_{x \in S}f(\{ x \}) ∀A,B    f(A+B)=f(A) sym f(B)⟺∀f(S)=SYMx∈S​f({x})
显然$|S|$是$+$意义下关注元素集合运算。
既然集合有那么多原理
考虑用于计数。
那么我们有可以考虑是否可以将原理中的集合改成集合的函数，将原理中的加替换为$sym$，减替换为$sym$的逆运算。
是否成立需要对具体的$f$进行分析。
但是在这里，所有关注元素集合运算都适用于容斥与德摩根。任意函数都适用于容斥反演。

关注元素集合运算应用贡献法则可以改为：
两个集合$A,B$,让$B$中所有元素对$A$的总贡献（所有贡献都以$sym$加合起来），等于$A$中所有元素得到的总贡献。
这告诉了我们计算$A$得到的总贡献除了看$A$中的元素，还有另一种计算方式：枚举$B$的所有元素，考虑它们对$A$的总贡献。
有时这个集合$B$是我们自己定义的。通过$B$计算对$A$的总贡献与$A$中所有元素得到的总贡献可以建立等式，得出一些结论。
最常见的一个应用：
对于$A$中的每个元素，构造一个$B$，$B$对它的总贡献都是常数$c$（通常为1）。那么枚举$B$的所有元素可以求出$A$得到的总贡献，而A中所有元素得到的总贡献为$c|A|$。因此可以求出$|A|$.
如何构造$B$？首先在A的所有元素中找到共同点，从而构造出$c$。然后观察出是谁贡献的。包含所有“谁”的集合就是$B$