Dehutom finnas en helmängd