På sådant sätt förefinnas en helmängd