 Church numeral

The Church numeral $c_n=\lambda f.\lambda x.f^{n}x$ encodes the natural number $n$ by iteration.