2. The definition of a function