双射法是组合数学中的一种重要的证明方法，用来证明两个有限集合A和B的元素数目相等。证明的思路是构造一个双射映射"f" : "A" → "B"，于是根据双射的性质，A和B的元素数目就是相等的。这个证明是构造法证明的一种。由于双射法是给出具体的映射构造，而不是分别点算两个集合，所以不需要知道两个集合的元素个数。这种证明可以用于难以直接对两个集合或其中一个集合进行计数的情况。此外，双射法也可以用来计算一个集合（难以直接计算时），方法是将它映射到一个可以拆分或比较容易计算的集合。而作为构造性证明，双射法用到的"f"