We will be concerned primarily with bijective proofs, i.e., showing that two sets have the same number of elements by exhibiting a bijection (one-to-one correspondence) between them.

我们主要关心是射证明，也就是透过在两集合间建立射（且映成）来证明它们元素相等。