bijective

bijectiveは数学、特に集合論や関数論において非常に厳格な定義を持つ用語です。ある集合から別の集合への写像が、単射（injective）であることと全射（surjective）であることの両方を満たす場合にのみ、この言葉が使われます。つまり、要素同士が漏れなく、かつ重複なく一対一で対応している完璧なペアリングの状態を指します。

単射および全射との関係

この概念を理解するには、構成要素となる二つの性質を区別することが重要です。

injective（単射）：異なる入力が異なる出力に割り当てられている状態であり、出力の重複がないことを意味します。
surjective（全射）：出力側の集合にあるすべての要素が、少なくとも一つの入力に対応している状態であり、余りがないことを意味します。

bijectiveはこの二つを同時に満たすため、入力と出力の間に完全な一対一対応が成立し、逆関数が存在することが保証されます。

実用的な文脈と数学的意味

数学的な文脈では、二つの集合のサイズ（濃度）が等しいことを証明するためにbijectiveな写像が存在するかどうかが検討されます。例えば、自然数全体の集合と偶数全体の集合の間にはbijectiveな関係があるため、これらは同じ濃度を持つと結論付けられます。

日常会話でこの言葉が使われることは稀ですが、比喩的に完全に一致するや一対一で対応するという意味で用いられることがあります。ただし、基本的には専門的な学術用語として扱うのが適切です。