Gives the definition and conditions for the inverse of a function to exist, and then applies this to an example where the original function is not one-to-one and where the domain of f(x) hence needs to be restricted in order to define the inverse function.