対関数

pairing_function 全単射

pairing functionのこと

\pi: \mathbb{N}\times\mathbb{N} \to \mathbb{N} という型の全単射関数。すなわち k個の自然数を一意に符号化する

より一般的に \mathbb{N}^k \to \mathbb{N}