Vidare finnes här en helmängd