# Definition:Covariant Power Set Functor

Let $\mathbf{Set}$ be the category of sets.
The (covariant) power set functor $\PP: \mathbf{Set} \to \mathbf{Set}$ is the covariant functor which sends: