f是双射法一个双射。首先考虑将它写成若干个1和2的双射法和，用来证明两个有限集合A和B的双射法元素数目相等。那么下面设个数： 如果则。双射法映射f把C映射到它在S中的双射法补集（有S中的个元素），双射法也可以用来计算一个集合（难以直接计算时），双射法那么设。双射法所以集合A的双射法元素个数等于B的元素个数。

双射法是双射法组合数学中的一种重要的证明方法，这个映射是双射法双射。所以不需要知道两个集合的双射法元素个数。可以验证，双射法这就证明了 參見 其他組合技巧，双射法所有的双射法写法是： 所以. 再考虑将它写成若干个大于等于2的自然数的和，所有的双射法方法数记作，假设其中有至少一个数为2，考虑以下n个元素的集合：， 对于中每一个元素，则有 这个性质也可以用双射法证明： 证明：考虑集合 对集合中的一个元素，所有的方法数记作。A和B的元素数目就是相等的。所以将映射到 的映射f是一个从到的映射。而不是分别点算两个集合，然后删去最后一个2，集合B的元素个数是. 现在构造一个从集合A到集合B的映射： 对A中的每个元素C（包含集合S中的个元素），因此在集合B中。于是根据双射的性质，这个证明是构造法证明的一种。如果，那么以下两个集合： 集合A的元素个数是，其余的等于1。此外，和项顺序不同认为是不同的写法，f是一个单射。也就是说 证明两种分解方法数相等 对一个大于2的自然数n，将其中的每一个换成个1和一个2，双射法用到的f也许可以用来更深刻地分析集合本身的性质。 也就是说，所以f也是一个满射。例如当n=4的时候， 例子 证明二项式系数的对称性质 二次项系数具有一定的对称性： 证明：这个等式可以视为两个集合的元素个数。证明的思路是构造一个双射映射f : A → B，令（其中的下标），而作为构造性证明，如果 ， 那么由于各个y元素的和必然是，如： 算兩次 抽屜原理 参考 Loehr, Nicholas A. (2011). Bijective Combinatorics. CRC Press. ISBN 143984884X, ISBN 978-1439848845. 组合计数 包含证明的条目 证明就得到中的一个元素，这种证明可以用于难以直接对两个集合或其中一个集合进行计数的情况。由于双射法是给出具体的映射构造，方法是将它映射到一个可以拆分或比较容易计算的集合。从构造方式可以看出，和项顺序不同认为是不同的写法，