How To Prove A Function Is A Function Algebraically