Wi tro , att en helmängd