双射与一一对应论证

通过在两个集合间建立一一对应来证明它们势相等的计数技巧；组合论中非常有力的证明方法。