For all humankind
Academicsubsite
ZixuanZhang
ZixuanZhang
Ponder...

Bijection

A bijection is a map with an inverse map in both directions, so the two composites are identity maps.

Definition 1.12 (Bijection)

Let be sets. A bijection is a map that has an inverse such that

i.e. for all , and for all .

Stated in