Given a calculus field? and a subtype , the Newton–Leibniz operator is a function from the type of differentiable functions to the type of functions that is pointwise defined as
for a differentiable function . For any differentiable function , the function is called the derivative of .
Properties
These all follow from the algebraic limit theorems, which are axioms used to define a calculus field?.