对 {1,…,m−1}\{1,\ldots,m-1\}{1,…,m−1} 上的元组,独立选择 mmm 是否属于每个 AiA_iAi,得到 2n2^n2n 个扩展。原并集贡献乘以 2n2^n2n;除一个外其余都含 mmm,贡献第二项。因此 s(n,m)=2ns(n,m−1)+(2n−1)2n(m−1)s(n,m)=2^ns(n,m-1)+(2^n-1)2^{n(m-1)}s(n,m)=2ns(n,m−1)+(2n−1)2n(m−1)。