Differentiation: Definition and Fundamental Properties