Given an Archimedean ordered field , a function is pointwise differentiable if it comes with a function called the derivative and such that for every positive element , there exists a positive element such that for every element such that and for every element ,