Powerset recursive definition