Formal definition of partial derivatives