Efter att hafva framhållit en helmängd