6. Inverse functions

When you have a bijection, it's possible to think of creating a second function out of it that goes in the reverse direction, i.e. from the codomain to the domain of the bijection.