hafva nämligen framställt en helmängd