Vi ha nemligen en helmängd