A function $f:A\rightarrow B$ is a **bijection** if there is a unique [[Element of a Set|element]] in $A$ for every element in $B$. $x\in A; y\in B \quad\forall y\exists!x\in f^{-1}(\set{y})$ [[‡ Isomorphism]]