Partial derivatives are formally defined using a limit, much like ordinary derivatives.
License: CC BY-NC-SA by Khan Academy