Algebraic Reasoning: Function Operations