Härefter förrättades en helmängd