Definition and properties of derivatives