den , att en helmängd