Композиция термов f и g:
f °g ≡ λx.f (g x)
n-кратное применение - композиция f с самим собой n раз:
fn ≡ f °...°f ≡ λx .f (f...(f x)...) f0 ≡ I