Likaså måste en helmängd