Dessutom finnes en helmängd