全単射

対関数

pairing functionのこと という型の全単射関数。すなわち個の自然数を一意に符号化する より一般的に

bijection

射のことば 全単射 のこと

isomorphism

同型あるいは同型写像のこと 全単射がなりたつ