全単射

数学において、全単射 とは、二つの集合間の関数であり、第二の集合（終域）の各要素が、第一の集合（定義域）のちょうど一つの要素の像となるものである。同様に、全単射とは二つの集合間の関係であり、いずれかの集合の各要素が、他方の集合のちょうど一つの要素と対になるものである。