@skirpichev Are you implying we should have an _eval_powerset() method in all the subsets of Set ? And return None in the the subsets for which powerset() is not possible?