Defining A Function Calculus