包除原理とメビウスの反転公式

有限集合 S のべき集合 2^S 上で定義された関数 f, g が

$ {\displaystyle g(A)=\sum _{B\subseteq A}f(B)}

を満たすならば、

$ {\displaystyle f(A)=\sum _{B\subseteq A}(-1)^{\left|A\setminus B\right|}g(B).}