Function Notation Algebra Definition