Det finnes också en helmängd