Solution (source code)

= Solution

A <function> is \b[<bijective>] if it is both <injective> and <surjective>. Equivalently, each element of the <codomain> has exactly one <preimage>.