bijection

title

description

• a function $f:S\to T$ is “bijective” if it is injective and surjective
• every element of the codomain corresponds to exactly one element of the domain
• prove: prove that they have injection and surjection