 Two general facts:  First,  the structure map of an initial algebra on  Set  is always  a bijection.  This follows from a very general result in category theory due to J. Lambek. And from this we see that ℘  has no initial algebras on  Set, by   Cantor’s Theorem. 