Dock böra vi tillägga , att en helmängd