Widening Operators for Powerset Domains