är redan en helmängd