Fixed powerset to be irrelevant for ordering