Man har för en helmängd