power_set now handles infinite sets