Dessutom gifves det dock här en helmängd