Bijective function
Suppose f is not a bijection. For any x where the derivative of f exists and is not zero, there is a neighborhood of x where we can restrict the domain and codomain of f to be a bisection.