Function composition is just f(g(x)), considered as a single function that's the composition of f and g; it has the domain of f and the range of g. In lambda c

Function composition is just f(g(x)), considered as a single function that's the composition of f and g; it has the domain of f and the range of g. In lambda calculus terminology it's an 'application' (with a function argument).