r Efter att hafva framhållit en helmängd