Композиция

Композиция термов f и g:

f °g ≡ λx.f (g x)

n-кратное применение - композиция f с самим собой n раз:

fnf °...°f ≡ λx .f (f...(f x)...)
f0I