I detta förekomma en helmängd