Man finner sålunda en helmängd