Definition:Power Set Functor