Definition:Differentiable Mapping/Complex Function