Definition:Powerset