# Definition:Contravariant Power Set Functor

Let $\mathbf{Set}$ be the category of sets.
The contravariant power set functor $\overline{\mathcal P} : \mathbf{Set} \to \mathbf{Set}$ is the contravariant functor which sends: