Derivatives: definition and basic rules