tro , att en helmängd