対関数
対関数は次のような全単射関数である。
π : N × N → N . {\displaystyle \pi :\mathbb {N} \times \mathbb {N} \to \mathbb {N} .}