1.Reversible circuit realizes a bijective reversible logic function.
可逆电路实现是一个双可逆逻辑函数功能。
2.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.