Item 0.4.2.b.

This is a bijection. Every element in the codomain is the image of exactly one element of the domain.

in-context