Mathematica Functional Programming Definition