bijective

adjective2

1. •
   Associating to each element of the codomain exactly one element of the domain; establishing a perfect (one-to-one) correspondence between the elements of the domain and the codomain; (formally) both injective and surjective.

   • Recent experience indicates that for infinite-dimensional Hopf algebras, the “right” definition of Galois is to require that β be bijective. — 1993
2. •
   Having a component that is (specified to be) a bijective map; that specifies a bijective map.

   • Proving the conjecture is equivalent to constructing a PCP that reads 2 symbols and accepts iff these symbols satisfy a bijective constraint. — 2002