A bijection (or bijective function) gives a way of matching every element of one set to every element of another set. Formally: