Formal Definition Of A Function