Verdoppeln, Halbieren von Mengen