 For many functors on Set, especially polynomial functors and the finite power set functor,  the initial algebra is the least fixed point together with the identity. For the polynomial functors, this least fixed point is  itself an algebra of terms.     